Type family with functional dependency fails to parse

[josephsumabat]

Having a functional dependency with a type family causes parsing to fail

type family MyTypeFamily (a :: Abc) :: (r :: Type) | a -> r where
  MyTypeFamily 'Cba = SomeType

[tek]

Interesting, this is indeed valid syntax, even though I've no idea what it means. Is this some edge case of the injectivity semantics? I've never seen it referred to as fundeps.

In any case, I fixed it in my upstream repo.