documentation in Arrows