Constraint could not be deduced, although it is there GHC-39999 (GHC-9.8.1)

Summary

The GHC error reads:

src/LLVM/DSL/Expression/Vector.hs:101:19: error: [GHC-39999]
    • Could not deduce ‘LLVM.Positive n’
        arising from a use of ‘MultiValueVec.take’
      from the context: (LLVM.Positive n, LLVM.Positive m,
                         MultiVector.Select a)

Steps to reproduce

$ cabal unpack llvm-dsl-0.1.1
$ cd llvm-dsl-0.1.1
llvm-dsl-0.1.1$ nix-shell -p llvmPackages_16.libllvm gmp
[nix-shell:llvm-dsl-0.1.1]$ PATH=/usr/local/ghc/9.8.1/bin:$PATH cabal-3.10 build

I need to specify "gmp" for the nix-shell, maybe you do not need that.

I can try to minimize that example, but maybe you already have an idea what the problem might be.

Environment

• GHC version used: 9.8.1
• Operating System: GNU-Linux
• System Architecture: amd64