Control.Arrow.ArrowNF
class ArrowNF a