Data.Vinyl.Universe.Const

Documentation

data Const :: * -> TyFun k * -> * where

Constructors

Const :: Const t el

Instances

type App * k (Const k t) x = t