Monad factory for creating easily composeable monads