Idris2Doc : Control.Monad.Identity

Control.Monad.Identity

recordIdentity : Type -> Type
Totality: total
Constructor: 
Id : a -> Identitya

Projection: 
.runIdentity : Identitya -> a