Názor k článku Programovací jazyk OCaml: rekurze, pattern matching a práce se seznamy od Calculon - Nevím, jestli cheating, ale zajistí to vyhnutí se...

Nevím, jestli cheating, ale zajistí to vyhnutí se rekurzi.

Pochybné je spíše to použití Inhabited, správně by tam měla být typová třída pro Monoid, ale o to tady nešlo.