wanted: Aufgabe zu Größe von endlichen Typen, mit Polymorphie

vgl. https://www.imn.htwk-leipzig.de/~waldmann/edu/ss24/fop/folien/#(98)

• Programm = (data-Deklarationen, Typ-Ausdruck)
• Aufgaben-Instanz = (Lückentext für Programm, Zahl n) , Korrektheit: der Typ-Ausdruck beschreibt einen Typ mit genau n Elementen
• Lücken: _ für ein fehlendes Ding (bsp. Konstruktor, Argument), ... für Folge von fehlenden data Foo = C _ Bar; data T = A ... | ...

Einschränkungen für Programmtexte

• maximale Anzahl und Stelligkeit der Datenkonstruktoren
• maximale Anzahl und Stelligkeit der Typkonstruktoren

Variante: auch Daten-Ausdruck vorgeben (auch mit Lücken), der den gegebenen Typ haben soll.