Arrows for Pretty Printing
