Control.Monad.Identity

Id : (runIdentity : a) -> Identity a

record Identity a

a

 

Id : (runIdentity : a) -> Identity a

runIdentity : (rec : Identity a) -> a