Skip to content

Instantly share code, notes, and snippets.

What would you like to do? [source] $ ghci
GHCi, version 7.8.3: :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :set -XScopedTypeVariables
Prelude> :set -XRankNTypes
Prelude> let x :: (forall a . (a -> a) -> a) = undefined
Prelude> :t x
x :: (a -> a) -> a
Prelude> let y :: (forall a . (forall a . a -> a) -> a) = undefined
Prelude> :t y
y :: (forall a1. a1 -> a1) -> a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.