Re: Control.Monad.Identity documentation