So a number of people responded with various ways this is already possible. Of course GHC can already do this... it&#39;s type inference. The part I&#39;m interested in working on is exposing the functionality in GHC&#39;s API to make this as easy as possible.<br>
<br>&nbsp;&nbsp;&nbsp;&nbsp; -Abram<br>