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