On Wed, Apr 3, 2013 at 6:08 PM, Richard Eisenberg <eir@cis.upenn.edu> wrote:

Comments? Thoughts?

Thanks,
Richard

Perhaps you could steal some ideas from my type-eq library:

--
Your ship was destroyed in a monadic eruption.