Data.Monadoid

data Monadoid m a