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

module Context where

data Foo a where
  Bar :: (Eq a, Show b, Show a) => a -> b -> Foo a
  Baz :: (Eq a, Show c) => c -> c -> Foo a