tc150.hs 122 Bytes
Newer Older
simonpj's avatar
simonpj committed
1
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
2
3
4
5

module ShouldCompile where

f v = (\ (x :: forall a. a->a) -> x) id 'c'