<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 21, 2015 at 8:51 PM, Imants Cekusins <span dir="ltr"><<a href="mailto:imantc@gmail.com" target="_blank">imantc@gmail.com</a>></span> wrote:<br><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
data Item a = Truck a [Item] | Box a [Item] | Parcel a [Item] | Can a [Item]</blockquote></div><br></div><div class="gmail_extra">A cardinal rule of FP data modelling is to avoid the hazards of junk, a.k.a. make the meaningless unspeakable.<br><br></div><div class="gmail_extra">Here an Item could be a Can that contains a Parcel that contains a Box that in turn has a Truck inside.<br><br></div><div class="gmail_extra">What will Item-processing functions do with this Item?<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Garbage In Garbage Out.<br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature">-- Kim-Ee</div></div>
</div></div>