path: root/testsuite/tests/ghc-regress/typecheck/should_compile/tc066.hs

module ShouldSucceed where

data Pair a b = MkPair a b
f x = [ a | (MkPair c a) <- x ]