Category "type-level-computation"

Import the * operator of type level naturals

Follow-up to Import a type family that is an operator in Haskell. This works: import GHC.TypeLits (type (+)) This is a parse error in GHC 9.0: import GHC.TypeL