- package:ghc-internal
Subtraction of type-level naturals.
Basic libraries
This package contains the implementation of GHC's standard libraries
and is not intended for use by end-users. . Users should instead use
either the base or ghc-experimental packages