Skip to content

Instantly share code, notes, and snippets.

@nicuveo

nicuveo/RankNTypesIssue.hs

Created April 20, 2023 19:41
Show Gist options
  • Save nicuveo/b44f28d8f76fd837831ef8cff86e3a57 to your computer and use it in GitHub Desktop.
Save nicuveo/b44f28d8f76fd837831ef8cff86e3a57 to your computer and use it in GitHub Desktop.
Download ZIP
GHC2021 RankNTypes issue
Raw
RankNTypesIssue.hs
-- {-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes #-}
a :: m i
a = x y
x :: (i -> forall p. p f i) -> m i
x l = undefined
y :: i -> (forall p f. p f i)
y = undefined
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment