Mon Jul 20 08:07:13 EDT 2015

Pick apart

Running into errors I don't understand.
Start over, keeping SSM.hs


- why is the monad necessary? for code generation.


- Something isn't right with the code generator constraints on the
  category instance.  Do this again from scratch.
  Maybe eliminate the Monad, then re-introduce

I wonder if this Sys.hs thing ever worked..
It can't be that hard...
Make the category instance work first.

Ok, so this never worked.  There is no example.

Next: continue on SSMArrow.hs

That it's ok to tuple up.