Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug310

Synopsis
  • type family (a :: Nat) + (b :: Nat) :: Nat where ...

Documentation

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

Addition of type-level naturals.

Since: base-4.7.0.0