path: root/testsuite/tests/gadt/lazypat.hs

{-# LANGUAGE GADTs, ExistentialQuantification #-}

module ShouldFail where

data T = forall a. T a (a->Int)

f ~(T x f) = f x