Is there an alternative implementation of the types Word8, Word16, etc. that disallow overflow? For example, currently:<div><br></div><div><div>Prelude Word&gt; (fromInteger 256) :: Word8</div><div>0</div></div><div><br></div>

<div>I&#39;d like a type whose constructors disallow this.</div><div><br></div>