ref: a48f2f280b33dd2f8b8d5a649f24a9c63d3eb012
dir: /tests/NoForall.hs/
module NoForall where
-- Without an explicit forall the 'a' is not bound in the body.
f :: a -> ((a,a),(a,a))
f x =
let g :: a -> (a,a)
g a = (a,a)
in g (x,x)
main :: IO ()
main = print (f True)