singletons-base-3.0: tests/compile-and-dump/Singletons/T197.hs

module T197 where

import Data.Singletons.TH
import Prelude.Singletons

$(singletons [d|
  infixl 5 $$:
  ($$:) :: Bool -> Bool -> Bool
  _ $$: _ = False
 |])