Documentation

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