hkt-0.0.1: A library for higher kinded types.

Safe HaskellSafe
LanguageHaskell2010

HKT.Type

Documentation

data ID a Source #

type family HKT a b where ... Source #

Equations

HKT ID a = a 
HKT b a = b a