haskell-language-server-2.7.0.0: plugins/hls-gadt-plugin/test/testdata/TypeVariable.expected.hs

module TypeVariable where

data Foo a f where
  Foo :: a -> Foo a f
  Bar :: (f a) -> Foo a f