javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">MixedTypesNumPrelude</p></div><div id="interface"><h1>Feature highlights</h1><h2>Basics</h2><h2>Type classes</h2><h2>Testable specifications</h2><h1>Limitations</h1><h1>Origin</h1><h1>Re-exporting Prelude, hiding the operators we are changing</h1><h1>Modules with Prelude alternatives</h1><h1>Re-export for convenient Ration