Type proxy

data Proxy k t

Type functions

type family (xs :: [α]) ++ (ys :: [α]) :: [α] where ...

type family Len (xs :: [α]) :: PeanoNum where ...

type family HomList (n :: PeanoNum) (a :: α) :: [α] where ...