{-# LANGUAGE TypeOperators, MultiParamTypeClasses #-}

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

data :><:   a b = :><:   a b