You might have heard that polymorphism is hard to combine with Hindley-Milner type inference, but what does this mean exactly?| blog.snork.dev
