a chicken monad

Yesterday, Mark Dominus took a picture of me eating a monad:

It was a delicious Chicken monad.

data Chicken a = Chicken (Egg a)
data Egg a = Egg (Chicken a)

instance Monad Chicken where
  ...(exercise for the reader)