Towards understanding Haskell’s monomorphism restriction (2012)(lambda.jstolarek.com)

http://lambda.jstolarek.com/2012/05/towards-understanding-haskells-monomorphism-restriction/