1{-# LANGUAGE TypeOperators, MultiParamTypeClasses #-} 2 3ins :: (:=>) b h => b :- h 4 5data (:><:) a b = (:><:) a b 6