<div dir="ltr">I would suggest  { someMaybeField :: f (Maybe Value) }, or perhaps newtype MaybeValue = MV (Maybe Value).</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 14, 2014 at 12:19 AM, Tom Ellis <span dir="ltr"><<a href="mailto:tom-lists-haskell-cafe-2013@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2013@jaguarpaw.co.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Wed, Aug 13, 2014 at 05:21:28PM -0700, John Lato wrote:<br>
> On Wed, Aug 13, 2014 at 4:21 PM, Tom Ellis<br>
</div><div class="">> >     data LineItem = LineItem { name :: Maybe String<br>
> >                              , quantity :: Maybe Quantity<br>
> >                              , price :: Maybe Price }<br>
><br>
> Rather than this definition, what about something like:<br>
><br>
>     data LineItemF f = LineItem<br>
>         { name :: f String<br>
>         , quantity :: f Quantity<br>
>         , price :: f Price }<br>
<br>
</div>It seems Wojtek already objected to this approach, though perhaps that<br>
objection could be overcome<br>
<br>
    <a href="http://www.haskell.org/pipermail/haskell-cafe/2014-August/115528.html" target="_blank">http://www.haskell.org/pipermail/haskell-cafe/2014-August/115528.html</a><br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>