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

module DataContext where

data T a b where
  F :: Ord a => a -> T a b
  G :: Ord a => b -> T a b