<div dir="ltr">The main problem with adding those in general is that then we have to get deeper into the business of packing and alignment. You need to add the spacers for when the second structure isn't aligned with the first, and the logic for that isn't cross-platform friendly.<div><br></div><div>-Edward</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jun 29, 2015 at 11:04 AM, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Mon, 29 Jun 2015, Edward Kmett wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Also, I wonder if () could be Storable:<br>
<br>
instance Storable () where<br>
  sizeOf _ = 0<br>
  alignment _ = 1<br>
  peek _ = return ()<br>
  poke _ _ = return ()<br>
<br>
<br>
No objection from me to any of them; a very strong +1.<br>
</blockquote>
<br></span>
Btw. what about Storable (a,b) and Storable (a,b,c)?</blockquote></div><br></div>