Idris2Doc : Control.Monad.Identity

Control.Monad.Identity

Identity : Type -> Type
Totality: total
Constructor: