Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
lkuper.github.com [source] $ ghci
GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? 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
Prelude>
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.