a haskell library providing a way to represent integer numbers as types