Tipos sin caja, comoInt#y funciones estrictas, comof (!x) = ..., son algo diferente, pero veo similitudes conceptuales: de alguna manera, rechazan los thunks / la pereza. Si Haskell fuera un lenguaje estricto como Ocaml, cada función sería estricta y todo tipo sin caja. ¿Cuál es la relación entre los tipos sin caja y la exigencia de rigor?