Proper handling of monad packaging, so you can use monads w/o importing them