{-# LANGUAGE TypeOperators, FlexibleContexts, FlexibleInstances #-}
module Main (main) where
 
f :: (ArrowXml (~>)) => a ~> a
f = undefined