Skip to content

Instantly share code, notes, and snippets.

@supki

supki/gist:0755cf47e525385a17622d4eed57590a

Created November 27, 2018 10:20
Show Gist options
  • Save supki/0755cf47e525385a17622d4eed57590a to your computer and use it in GitHub Desktop.
Save supki/0755cf47e525385a17622d4eed57590a to your computer and use it in GitHub Desktop.
Download ZIP
$300
Raw
gistfile1.txt
>>> data M a = M (Proxy M)
<interactive>:21:12: error:
• Data constructor ‘M’ has existential type variables, a context, or a specialised result type
M :: forall k (a :: k) k. Proxy (k -> *) (M k) -> M k a
(Use ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘M’
In the data type declaration for ‘M’
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment