Albert Visser's "The Donkey and the Monoid" - The Implementation