Positiver ganzzahliger Typ
In vielen Artikeln über Haskell heißt es, dass einige Überprüfungen während der Kompilierungszeit anstelle der Laufzeit durchgeführt werden können. Daher möchte ich eine möglichst einfache Prüfung implementieren. Erlaube, dass eine Funktion nur für Ganzzahlen größer als Null aufgerufen wird. Wie kann ich es tun?