Generieren der Größe nach

class Serial a where
    -- | series d : alle Objekte mit Tiefe d
    series :: Int -> [a]

jedes Objekt hat endliche Tiefe, zu jeder Tiefe nur endliche viele Objekte

Die „Tiefe`` von Objekten:

• algebraischer Datentyp: maximale Konstruktortiefe
• Tupel: maximale Komponententiefe
• ganze Zahl n: absoluter Wert | n|
• Gleitkommazahl m⋅2^e: Tiefe von (m, e)