haskell-src-exts-1.24.0: tests/examples/ConstructorAndClassOperators.hs

{-# LANGUAGE TypeOperators, MultiParamTypeClasses #-}

ins :: (:=>) b h => b :- h

data (:><:) a b = (:><:) a b