Comment by pshirshov

Extremely dated. No HKTs, no typeclasses (modules are not a good substitute), no call-site expansion.