Ändern der Striktheit

• durch seq Auswertung erzwingen:

  seq x y wertet x aus (bis oberster Konstruktur feststeht) und liefert dann Wert von y

• Annotation ! in Konstruktor erzwingt Striktheit

  data N = Z | S !N
  

  Argument von S wird vor Konstruktion ausgewertet
• Annotation ~ in Muster entfernt Striktheit:

  case error "huh" of   (a,b) -> 5
  case error "huh" of ~ (a,b) -> 5