Control.Arrow.ArrowNF
strictA
class
ArrowNF
a