Category "type-level-computation"

Type level computations on types including type variables

I was working recently with freer and I got inspired to try creating a method that allows composing of arbitrary arity functions using type level computations,

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