Unboxed-Typen wieInt# und strenge Funktionen wief (!x) = ..., sind etwas anderes, aber ich sehe konzeptionelle Ähnlichkeit - sie verbieten in irgendeiner Weise Faulheit. Wenn Haskell eine strenge Sprache wie Ocaml wäre, wäre jede Funktion streng und jeder Typ ungekapselt. In welcher Beziehung stehen ungepackte Typen und die Durchsetzung von Strenge zueinander?