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.