Skip to content

Instantly share code, notes, and snippets.

@dmjio

dmjio/test.lhs

Created August 25, 2022 05:37
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dmjio/919cf935b7e365cc427ff90e30641d9f to your computer and use it in GitHub Desktop.
Save dmjio/919cf935b7e365cc427ff90e30641d9f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test.lhs
> 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