Monad,MON para MemeCore,M