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