Object algebras vs. free monads, or type classes vs. ADTs - View it on GitHub