id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
189,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.",defect,new,minor,,2.9.2,,,