Hi all,<br><br>After thinking about this some more I think we should go with option one (the most strict one). My arguments in favor are that<br><br> * it&#39;s easier to explain and remember,<br> * it&#39;s harder to be too lazy by mistake*,<br>

 * Simon M thinks it&#39;ll help GHC to avoid some redundant seq:s, and<br> * if we can specialize the structure in the future to use monomorphic representations we can pass the value unboxed.<br><br>Milan, what are your current thoughts?<br>

<br>* It&#39;s easier to be too lazy by mistake if there are a few functions that are less strict than the remaining ones.<br><br>Cheers,<br>Johan<br><br>