vinyl-0.4.3: Extensible Records

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Vinyl.Universe.Id

Documentation

data Id :: TyFun k k -> * where Source

Constructors

Id :: Id el 

Instances

type App k k (Id k) x = x