There is no proper syntax definition for functional dependencies, meaning the following example does not get properly highlighted: ```purescript class MyClass f a b | a -> b where method :: f (a b) -> f b -> f (a b) ``` `a` and `b` should be highlighted as type variables.