Control.Monad.Imperative.FunctionFactory