Data.PolyMap.Nat

data Nat

data Proxy a

first

second

third

fourth

fifth

sixth

seventh

eigthth

ninth

tenth