New posts in Parametric Polymorphism

What is the 'msg' in 'HTML msg' in Elm actually?

In Haskell, are "higher-kinded types" *really* types? Or do they merely denote collections of *concrete* types and nothing more?

What is polymorphism in Javascript?

The inner workings of `NextMethod()`

Type signature in a where clause