fix merge

4 jobs for dev-merge in 44 minutes and 36 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #17743
cabal

00:21:20

 
  Stack
passed #17744
stack

00:03:13

 
  Bench
manual #17745
allowed to fail manual
bench
 
  Test
passed #17746
test

00:20:01