Numeric.Sized.IntOfSize

data IntOfSize n

allIntsOfSize