1 2 3 4 5 6
{-# LANGUAGE RankNTypes #-} module T1634 where t1 :: a -> (forall b. b -> (a,b)) t1 x = (,) x