Control.IndexT.Constructor

type family IndexC (n :: Nat) (i :: Nat) a

type family GetConstructor1 a where ...

type family GetConstructor2 a where ...

type family IsData (n :: Nat) a :: Constraint