Control.Monad.Identity
data Identity a