path: root/testsuite/tests/typecheck/should_fail/tcfail195.hs

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes, GADTs #-}

module ShouldFail where

data Foo a where
  Foo :: Int -> Foo (forall a. a)