IdrisDoc: Control.Monad.Identity

Control.Monad.Identity

Id : (runIdentity : a) -> Identity a