[karavelov]

Dynamically typed languages are not the best choice when you try to explain algebras that work on the type level I guess.