Notes on type inference and polymorphism (by chreke) — discussion

#plt