Skip to content

Instantly share code, notes, and snippets.

@cdsmith

cdsmith/gist:d8d7876f4a978edca62d05dd454c7b9d Secret

Created May 2, 2021 20:11
Show Gist options
  • Save cdsmith/d8d7876f4a978edca62d05dd454c7b9d to your computer and use it in GitHub Desktop.
Save cdsmith/d8d7876f4a978edca62d05dd454c7b9d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
class C t where
data D t
instance forall a. C (Maybe a) where
data D (Maybe a) where
D :: forall. a -> D (Maybe a)
Main.hs:6:18: error:
Not in scope: type variable ‘a’
Main.hs:6:32: error:
Not in scope: type variable ‘a’
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment