Skip to content

Instantly share code, notes, and snippets.

@expipiplus1

expipiplus1/Crazy Patterns

Created February 26, 2015 10:57
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 expipiplus1/79359ba60ae1683f4907 to your computer and use it in GitHub Desktop.
Save expipiplus1/79359ba60ae1683f4907 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Crazy Patterns
data A = A
data B = B
class C c where
<perhaps something here>
instance C A where
instance C B where
<some crazy patterns>
foo :: C c => c -> Bool
foo A = True
foo B = False
@expipiplus1
Copy link
Author

Is this going to be possible in a future version of GHC. I don't think it's possible in 7.8.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment