Awesome

elm-brands

An experiment with higher-kinded types in elm.

The idea is based on the paper Lightweight higher-kinded polymorphism

Interesting examples are Brands.Leibniz and Brands.Expr.

Running example is Main.