Control.Monad.Identity

record Identity a

a

 

Id : (runIdentity : a) -> Identity a

runIdentity : (rec : Identity a) -> a

Id : (runIdentity : a) -> Identity a