a -> m a

つまり return です