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

module Record where

data Foo where
  Foo :: {bar :: Char, baz :: Int} -> Foo