Data.HList.FakePrelude
data HTrue
data HFalse
class HBool x
class HAnd t t' t''
class HOr t t' t''
class HCond t x y z
data HZero
data HSucc n
class HNat n
class HNat2Integral n
data HNothing
data HJust x
class HEq x y b
class HStagedEq x y
class HLt x y b
class TypeEq x y b
class TypeCast x y
data Proxy e
class TypeEqTrue x y
class TypeEqFalse x y
class SubType l l'
class Fail x