<p>I would expect I would run into trouble with this approach - when a function receives one of these records as an argument, how does it know if it is safe to acces the record fields in question?</p>
<p>I would prefer using Maybe types, different types altogether for summed contracts, or imaking a Contract a type with two cases (as suggested earlier).</p>
<div class="gmail_quote">On Jul 17, 2011 5:19 PM, "David Place" <<a href="mailto:d@vidplace.com">d@vidplace.com</a>> wrote:<br type="attribution"></div>