{-# LANGUAGE TypeOperators, MultiParamTypeClasses #-}
module Main (main) where

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

data (:><:) a b = (:><:) a b