No syntax for functional dependencies

[arthurxavierx]

There is no proper syntax definition for functional dependencies, meaning the following example does not get properly highlighted:

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.