3 ms·

What would you want OO for? First-class functions + HM + typeclasses work fine.

• seanmcdirmid 12y ago
  Unification is not a substitute for semi unification.