Added readme

Again, written on the coach ride (with the code examples updated to
reflect the new use of Control.Arrow)