Tipos sem caixa, comoInt#e funções estritas, comof (!x) = ..., são algo diferente, mas vejo semelhança conceitual - eles proíbem thunks / preguiça de alguma forma. Se Haskell fosse uma linguagem estrita como Ocaml, todas as funções seriam estritas e todos os tipos fora da caixa. Qual é a relação entre tipos sem caixa e imposição de rigor?