> ArrowXml is a subclass of ArrowApply, so it is possible. For example: > f xml = pure (\s -> (g s, xml)) >>> app Very cool. That's exactly what I was looking for. Thanks, Greg