Funktionale Programmierung: 1.1.4) Types, Unification, New Type Declarations (data), Type Classes, Ad-Hoc Polymorphism (Fr, 27.04.2012)