type family Succ a :: k

type family Empty :: k

type family Zero :: k

type family Range begin end :: [k]

type family Enumerate end