data Nat

type family Elem typ typs :: Bool

type family Index typ typs :: Nat