Можно получить Storable с помощью общего механизма получения GHC: http://hackage.haskell

Я работаю с библиотекой generics-sop .Я хочу написать значение со следующим типом: values :: forall...