hls-gadt-plugin-1.0.0.0: test/testdata/TypeVariable.expected.hs

module TypeVariable where

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