Fix mreturn in Monad class and add tests