About to instantiate standard Arrow classes
Instantiate Arrows classes. Examples. Arrow notation. Works!
drop non-Arrows code
explicit exports. drop unused code.
drop Automaton
Functor & Applicative; counter example.