<p>A colleague of mine was stuck attempting to do something in Haskell that seemed
conceptually simple but resulted in a type error. While a particular form of
polymorphism, common in object-oriented languages, translated very well to
Haskell, a related…</p>

Read more at the source