Safe HaskellSafe

Bug310

Synopsis

Documentation

type family (a :: Nat) + (b :: Nat) :: Nat where ... infixl 6 #

Addition of type-level naturals.