Build fails without KindSignatures

[buggymcbugfix]

Illegal kind signature: ‘ghc-prim-0.5.1.1:GHC.Types.Type’
      Perhaps you intended to use KindSignatures
    In the type signature for ‘cataProp’
   |
40 | $(makeCata defaultOptions { cataName = "cataProp" } ''Proposition)
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

I'm not sure if this is behaviour that you have observed, but if so, it may be worth adding a word about it in the documentation.