Control.Arrow.Transformer.Writer
data WriterArrow w a b c
class ArrowAddWriter w a a'