Skip to content

Instantly share code, notes, and snippets.

@darthdeus

darthdeus/Application.hs

Last active August 29, 2015 14:03
Show Gist options
  • Save darthdeus/b6387aa5c5e9137b58f5 to your computer and use it in GitHub Desktop.
Save darthdeus/b6387aa5c5e9137b58f5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Application.hs
f :: (a -> Int) -> Int
f = undefined
g :: (forall a. a -> Int) -> Int
g = undefined
a = f (+1) -- ok
b = g (+1) -- type error
c :: (a -> Int) -> Int
c f = f 3 -- type error
d :: (forall a. a -> Int) -> Int
d f = f 3 -- ok
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment