Control.Monad.Identity

data Identity a