Safe Haskell	Safe

Bug310

Synopsis

Documentation

type family a + b :: Nat infixl 6 #

Addition of type-level naturals.