2014-11-10 21:47 GMT+02:00 Andrew Starks <andrew.starks@trms.com>: > All of this is short of the utopia of first-class types. Make it the Erewhon of first-class types.
