Type-level Naturals
GADTsDataKinds,KindSignaturesTypeFamilies,TypeOperatorsclassas a function from types to termsProxyTypeApplications
GADTsDataKinds, KindSignaturesTypeFamilies, TypeOperatorsclass as a function from types to termsProxyTypeApplications