Incorrect or at least misleading output with PolyKinds + TypeOperators

[illissius]

The code

{-# LANGUAGE PolyKinds, ConstraintKinds, TypeOperators, MultiParamTypeClasses, FlexibleInstances, UndecidableInstances #-}
class    (c a, d a) => (c :&: d) a
instance (c a, d a) => (c :&: d) a

produces the following documentation for the instance:

Instances
(c a, d a) => (k :&: c) d a

I don't know where it should be, but that k is clearly not in the right place.

[anonymous]

Milestone 2.10.0 deleted