On Mon, 29 Jun 2015, Edward Kmett wrote: > Also, I wonder if () could be Storable: > > instance Storable () where > sizeOf _ = 0 > alignment _ = 1 > peek _ = return () > poke _ _ = return () > > > No objection from me to any of them; a very strong +1. Btw. what about Storable (a,b) and Storable (a,b,c)?