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