Type level numbers and arithmetic added to GHC Haskell | Heykuki News