- package:incipit-base

Subtraction of type-level naturals.
A Prelude for Polysemy – Base Reexports See https://hackage.haskell.org/package/incipit-base/docs/IncipitBase.html