Sun Dec 23 19:36:56 EST 2012


Is it ready for writing SPUT?  Can find this out by writing SPUT.
Need to find last test case and add some.  There are plenty of
problems if I recall, all type stuff (is there every any other kind of
problem in Haskell?)

IIRC, the base problem just implements functions.  State is handled
through functions.

The "arrow problem" is not solved.  Probably it can be solved using
existential types, but that requires a kind of magic (particular
composition structure) I do not yet understand.