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.