http://www.yesodweb.com/blog/2016/03/why-i-prefer-typeclass-based-libraries — Снойман говорит правильные и очевидные вещи. Что это значит? Что сейчас он выкатит на свет божий что-то очень сложное и оверинженернутое.