return x = eta x
x >>= f  = mu (fmap f x)

eta x = return x
mu  x = (>>= id)