Move accumulate to a new typeclass
Add ImproveArrow instance for ArrowWire
Add Haddock documentation