Control.Arrow.Writer

data WriterT w r a b