GraphHammer.HList

data Nil

data a :. b

hHead

hTail

data FALSE

data TRUE

class FAIL a

class TyCast a b

class TyOr x y r

class TyEq b x y

data Z

data S n

class Nat a

fromSucc

class HLength a