singletons-base-3.3: tests/compile-and-dump/Singletons/T197b.hs

module T197b where

import Data.Singletons.TH

$(singletons
  [d| data a :*: b = a :*: b

      data Pair a b = MkPair a b
      infixr 9 `Pair`, `MkPair`
    |])