13 Dec
2011
13 Dec
'11
3:27 a.m.
Le Tue, 13 Dec 2011 02:23:18 -0500,
Brent Yorgey
No, but if you want to define monads operationally I would instead recommend using the 'operational' package:
http://hackage.haskell.org/package/operational
It does actually have examples. Anyway, it seems like Unimo is not even on Hackage.
Thank you very much for the reference. Indeed it seems that Unimo has not been really developped see: http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=89 jean-luc