Control.Arrow.ArrowIO
class ArrowIO a
class ArrowIOIf a