Documentation

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