Haskell import checker fails on solutions with standalone kind signatures

[tobeannouncd]

Describe the bug
When the Haskell test runner tries to execute either solutionShouldHide or solutionShouldHideAll on a solution that uses Standalone Kind Signatures, the test fails with a parser error.

To Reproduce
Here's the Kumite I was making when I encountered this. The rest of the test suite runs as intended.

If I rewrite

type Vec :: Type -> Nat -> Type
data Vec a n where
  VNil  :: Vec a Zero
  VCons :: a -> Vec a n -> Vec a (Succ n)

to

data Vec a (n :: Nat) where
  VNil  :: Vec a Zero
  VCons :: a -> Vec a n -> Vec a (Succ n)

there are no parsing errors.

Expected behavior
Standalone Kind Signatures are enabled by default in GHC 9.2.5, and the test runner should not fail due to this.

Additional context
The package that powers the solutionShouldHide functions appears to be abandoned, so it's unlikely that the bug will be fixed upstream.