# Pastebin sG58zSUJ
$ ghci
GHCi, version 9.2.2: https://www.haskell.org/ghc/  :? for help
ghci> :m + GHC.TypeLits
ghci> :set -XDataKinds
ghci> :kind! 10 * 10

<interactive>:1:1: error:
    • Expected kind ‘* -> Natural -> k0’, but ‘10’ has kind ‘Natural’
    • In the type ‘10 (*) 10’
ghci> :set -XNoStarIsType
ghci> :kind! 10 * 10
10 * 10 :: Natural
= 100
ghci>