First shot of an abstraction (-> Foldable) for inherently recursive data structures whith algebraic properties (-> Monad, Monoid).
Minor changes (suggested by Intellij IDEA)
Fixed compiler config.