Comment Comment by groovy2shoes Does the nonequivalence have something to do with ML's value restriction? parent groovy2shoes 13 years ago
