Idris2Doc : Control.Applicative.Const

Control.Applicative.Const

record Const : Type -> Type -> Type
  Totality: total
  Constructor: 
MkConst : a -> Const a b

  Projection: 
.runConst : Const a b -> a