Unable to use liquidhaskell with Cabal

[iirekm]

During compiling one of dependencies cabal outputs:

src/Data/Store/Internal.hs:393:12: error: [GHC-39999]
    • Could not deduce ‘IsSequence (SCV.Vector a)’
        arising from a use of ‘pokeSequence’
      from the context: Store a
        bound by the instance declaration
        at src/Data/Store/Internal.hs:391:10-40
      There are instances for similar types:
        instance Storable a => IsSequence (SV.Vector a)
          -- Defined in ‘Data.Sequences’
        instance UV.Unbox a => IsSequence (UV.Vector a)
          -- Defined in ‘Data.Sequences’
        instance IsSequence (V.Vector a) -- Defined in ‘Data.Sequences’
    • In the expression: pokeSequence
      In an equation for ‘poke’: poke = pokeSequence
      In the instance declaration for ‘Store (SCV.Vector a)’
    |
393 |     poke = pokeSequence
    |            ^^^^^^^^^^^^

[9 of 9] Compiling System.IO.ByteBuffer ( src/System/IO/ByteBuffer.hs, dist/build/System/IO/ByteBuffer.o, dist/build/System/IO/ByteBuffer.dyn_o )
Error: [Cabal-7125]
Failed to build store-0.7.19 (which is required by exe:haskell-demos from haskell-demos-0.1.0.0). See the build log above for details.

Cabal file:

cabal-version:      3.0
-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.

-- Initial package description 'haskell-demos' generated by
-- 'cabal init'. For further documentation, see:
--   http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name:               haskell-demos

-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary:     +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.1.0.0

-- A short (one-line) description of the package.
-- synopsis:

-- A longer description of the package.
-- description:

-- The license under which the package is released.
license:            BSD-2-Clause

-- The file containing the license text.
license-file:       LICENSE

-- The package author(s).
author:             ...

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer:         ...

-- A copyright notice.
-- copyright:
category:           Codec
build-type:         Simple

-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files:    CHANGELOG.md

-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:

common warnings
    ghc-options: -Wall

executable haskell-demos
    -- Import common warning flags.
    import:           warnings

    -- .hs or .lhs file containing the Main module.
    main-is:          Main.hs

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:

    -- Other library packages from which modules are imported.
    build-depends: base, liquidhaskell==0.9.10.1

    -- Directories containing source files.
    hs-source-dirs:   app

    -- Base language which the package is written in.
    default-language: Haskell2010

GHC version: 9.10.1

[iirekm]

Workaround: downgrade store version by adding store==0.7.17.