kind signature in `class` bug? - Haskell

{-# language
  PolyKinds,
  DataKinds,
  AllowAmbiguousTypes,
  TypeApplications
#-}

class Test a where
  test :: Bool
instance Test False where
  test = False
value :: Bool
value = test @False

{-# language
  PolyKinds,
  DataKinds,
  AllowAmbiguousTypes,
  TypeApplications
#-}

class Test (a :: k) where -- changed
  test :: Bool
instance Test False where
  test = False
value :: Bool
value = test @False

• Expected a type, but ‘False’ has kind ‘Bool’
• In the type ‘False’
  In the expression: test @False