temp

data Burrito a = Tortilla a | TortillaSola

class Monad (m a) where
      return :: m a
      m a >>= f :: m a -> (a -> m b) -> m b
      ..

ahora 

instance Monad (Tortilla a) where
         return = (ponerCarneEnTortillaYEnvolver)::Burrito Carne
         Tortilla a >>=f = f a #Que n seas carne o lo que tenga el burrito
         TortillaSola >>f  = TortillaSola

si.
ponerJalapeño :: a -> Burrito b
ponerJalapeño a = Tortilla (mezclar a jalapeño)