Safe Haskell	Safe-Inferred
Language	Haskell2010

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