<div dir="ltr">On Thu, Feb 13, 2014 at 4:36 PM, Omari Norman <<a href="mailto:omari@smileystation.com" target="_blank">omari@smileystation.com</a>> wrote:<br>><br>> If there is already something like this out there (or some elegant way<br>


> to do this that doesn't involve hairy extensions), please let me know<br>> and I will be all too happy to deprecate this.<br>><br>> Omari<br><br>Hi Omari,<br><br>You could use:<br><br>type S3 a b c = (Maybe a, Maybe b, Maybe c)<br>
<br>And then prove to yourself that only one entry is Just. This lets you use of classes that work with tuples such as Field1 through Field9 from lens or things from <a href="http://hackage.haskell.org/package/tuple">http://hackage.haskell.org/package/tuple</a>. <br>
<br>At least that's the strategy in <<a href="http://hackage.haskell.org/package/HList-0.3.2.0/docs/Data-HList-Variant.html">http://hackage.haskell.org/package/HList-0.3.2.0/docs/Data-HList-Variant.html</a>>.<br>
<br>Regards,<br>Adam<br></div>