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 (Burrito a) where
         return a= (envolver a)::Burrito a
         Tortilla a >>=f = f a
         TortillaSola >>= _  = TortillaSola

si.

envolver a = Tortilla a

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

#podriamos hacer un binding...

burritoDePolloConJalapeño =  ponerJalapeño =<< return pollo