Safe Haskell	Safe

Bug310

Synopsis

Documentation

type family a + b :: Nat infixl 6

Addition of type-level naturals.