Я могу как-то создать type alias на список тайпклассов, которые я deriving?

Я хочу что-то в роде

type APIType = (Eq, Ord, Show, Generic)

Data Foo = Foo deriving APIType

Но как есть оно не будет работать

Для дерайвинга — нельзя

Для констреинтов — можно

а расскажите плиз, что вот в таком коде может пойти не так?

withROTransaction :: ModeBool e
   => Environment e
   -> (Transaction ReadOnly -> IO a)
   -> IO a
withROTransaction e@(Environment env) f =
   bracketOnError
     (mdb_txn_begin env Nothing True)
     mdb_txn_abort
     $ \txn -> do 
       a <- f (Transaction txn)
       mdb_txn_commit txn
       return a

первое что приходит в голову — есть небольшой шанс что mdb_txn_abort будет вызвана после/во время mdb_txn_commit

Есть ли какое-то варианты вызывать только что-то одно из них (без нагромождений из флажков в IORef)?

контекст проблемы: редкий segfault in liblmdb при очень большом числе транзакций, в которые прилетает AsyncException

я подозреваю аборт после коммита, но фиг знает

более того, не должен ли код транзакции быть?

\txn -> do 
       !a <- f (Transaction txn)
       mdb_txn_commit txn
       return a

\txn -> do 
       !a <- f (Transaction txn)
       mdb_txn_commit txn
       return a

т.е. есть подозрение что проблема в том, что значение получается лениво?

а вот не знаю кстати

код написан @andrewthad, который по идее должен знать, что он пишет и таких простых ошибок не делать

там же вроде оно такое должно быть только при unsafeInterleaveIO?

или я неверно помню? .-.

я до сих пор путаюсь в тонкостях

думаю что зависит от f

я просто по описанию

unsafeInterleaveIO allows an IO computation to be deferred lazily. When passed a value of type IO a, the IO will only be performed when the value of the a is demanded. This is used to implement lazy file reading, see hGetContents.

ну да, в зависимости от того, есть ли это в f

ага

вообще не думаю, что оно должно быть там