Optimized Monadic

Intrinsicality