{"body":"$ ghci\nGHCi, version 9.2.2: https://www.haskell.org/ghc/  :? for help\nghci> :m + GHC.TypeLits\nghci> :set -XDataKinds\nghci> :kind! 10 * 10\n\n<interactive>:1:1: error:\n    • Expected kind ‘* -> Natural -> k0’, but ‘10’ has kind ‘Natural’\n    • In the type ‘10 (*) 10’\nghci> :set -XNoStarIsType\nghci> :kind! 10 * 10\n10 * 10 :: Natural\n= 100\nghci> \n","name":"dmj`","extension":"txt","url":"https://www.irccloud.com/pastebin/sG58zSUJ/dmj%60","modified":1661406704,"id":"sG58zSUJ","size":364,"lines":14,"own_paste":false,"theme":"","date":1661406704}