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