Контекст Если у нас есть data Foo = Foo { x :: Maybe Int, y :: Maybe Text } мы уже можем построить его в аппликативном стиле в аппликативном контексте (здесь IO), как myfoo :: IO Foo myfoo = Foo <$> getEnvInt "someX" <*>...

Можно получить Storable с помощью универсального механизма получения GHC: http://hackage.haskell.org/package/derive-storable (и https://hackage.haskell.org/package/derive-storable-plugin для повышения производительности). Однако единственная...