Unexpected Kind errors when building tests

[solomon-b]

I'm getting a ton of Kind errors on standalone deriving via instances:

For example:

src/Data/Functor/Monoidal.hs:725:59: error:
    • Couldn't match kind ‘k’ with ‘*’
      Expected kind ‘* -> *’, but ‘f’ has kind ‘k -> *’
      ‘k’ is a rigid type variable bound by
        the deriving clause for ‘FromDecidable (Reverse f)’
        at src/Data/Functor/Monoidal.hs:725:14-38

deriving via FromDecidable (Reverse f) instance Decidable f => Monoidal (->) Either Void (,) () (Reverse f)

I'm enabling all the same pragmas for doctest as I enable in my cabal file for the main build.

This is GHC 9.4.8 and doctest 0.22.2.