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

module T322 where

import Data.Singletons.TH
import Prelude.Singletons

$(singletons [d|
  (!) :: Bool -> Bool -> Bool
  (!) = (||)
  infixr 2 !
  |])

f1 :: (False && True ! True) :~: True
f1 = Refl