1{-# LANGUAGE TypeOperators, FlexibleContexts, FlexibleInstances #-}
2
3f :: ArrowXml (~>) => a ~> a
4f = undefined
5