Как числовые типы определяются в Haskell?

Question

Я новичок в haskell.

Если Int определяется как

data Int8 = (-128) | (-127) | (-126) | ..... | 0 | ..... | 126 | 127

, то как насчет

data Integer = ?

и как создается экземпляр Num Int

instance Num Int8 where
   1 + 2 = 3
   2 + 1 = 3
   -- All permutation & Combinations?