Mon Jul 20 08:07:13 EDT 2015
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.