1 2 3 4 5
{-# OPTIONS_GHC -XScopedTypeVariables #-} module Foo where foo = let c = \ x :: a -> (x :: a) in co