ITADN

Type family with functional dependency fails to parse

#150Openjosephsumabat 创建于 2025-10-24
J
josephsumabatcommented
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 ```
1 条评论