bin

This package provides binary natural numbers (Data.Bin); also utilities to work on the type level with DataKinds (Data.Type.Bin).

data Bin = BZ -- ^ zero | BP BinP -- ^ non-zero data BinP = BE -- ^ one | B0 BinP -- ^ double | B1 BinP -- ^ double plus 1

There are ordinals in Data.Bin.Pos module, as well as fixed width integers in Data.Wrd.

Another implementation is at https://hackage.haskell.org/package/nat, this differs in naming, and provides promoted variant.