Polykinded associated type family rejected on false pretenses

If I say

class HasRep a where
  type Rep a :: TYPE r

I get

    • Kind variable ‘r’ is implicitly bound in datatype
      ‘Rep’, but does not appear as the kind of any
      of its type variables. Perhaps you meant
      to bind it (with TypeInType) explicitly somewhere?
      Type variables with inferred kinds: a
    • In the class declaration for ‘HasRep’

This definition should be accepted, though, as r is just an invisible parameter to the associated type family. (I don't know how useful this is, but it's not bogus.)

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture