How to define an instance Storable in an elegant and portable way?

Question

Haskell

Let's say we have a type

data MyType = MyType Bool Double Char Int

instance Storable MyType where
    sizeOf = undefined
    alignment = undefined
    peek ptr = undefined
    poke ptr = undefined

This data will not be passed to the C function.

Answer 1

You can take derive-storable and output via Generic.