Skip to content

Instantly share code, notes, and snippets.

@dmjio
Created August 25, 2022 05:37
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save dmjio/919cf935b7e365cc427ff90e30641d9f to your computer and use it in GitHub Desktop.
> natVal (Proxy :: Proxy (10 * 10))
<interactive>:280:25-31: error:
• Expected kind ‘* -> Natural -> k0’, but ‘10’ has kind ‘Natural’
• In the first argument of ‘Proxy’, namely ‘(10 (*) 10)’
In an expression type signature: Proxy (10 (*) 10)
In the first argument of ‘natVal’, namely
‘(Proxy :: Proxy (10 (*) 10))’
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment