The product of two type-level numbers.
Due to changes in GHC 8.6, using this operator infix and unqualified
requires the NoStarIsType language extension to be active. See the GHC
8.6.x migration guide for details:
https://ghc.haskell.org/trac/ghc/wiki/Migration/8.6