Muster: Interpreter (Realisierung)

algebraischer Datentyp (= Kompositum) für die Beschreibung von Eigenschaften

interface Property { }

Blätter (Konstanten)

class Has_Color { Color c }
class Less_Than { int x }

Verzweigungen (Kombinatoren)

...

und Programm zur Auswertung einer (zusammengesetzten) Eigenschaft für gegebenes Datum. (Typ?)