1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeOperators #-} module T6027 where data (?) a b = Q a b infixr 2 ? test :: Int ? String ? Bool test = 0 `Q` ("foo" `Q` True)