MemeCore a Monad