BusesT with Eq and Ord
working on dropping flattening
experiment
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.
less tricky ***
Experiment in constraining the "state" type
Drop no-flattening work
dup
exports; move dup to Misc
CircuitConstraint
Refactored graph generation & consumption
add Mealy