Open
Description
In the following example, only the first parameter gets highlighted as a type variable:
class MyClass f a b where
method :: f (a b) -> f b -> f (a b)
In the following example, none of the parameters get highlighted as a type variable:
class MyClass2 (f :: * -> *) a b where
method2 :: f (a b) -> f b -> f (a b)