Control.Arrow.Transformer.Reader
data ReaderArrow r a b c
class ArrowAddReader r a a'