Starke Typen mit erweiterten Funktionen