Control.Arrow.Transformer
class
ArrowTransformer
f a