Commit 56a9e95f authored by Jan Hrček's avatar Jan Hrček

Resolve TODO

parent d0dcbfe6
...@@ -660,8 +660,8 @@ keyword in the family instance: :: ...@@ -660,8 +660,8 @@ keyword in the family instance: ::
... ...
The data or type family instance for an associated type must follow The data or type family instance for an associated type must follow
the rule that the type indexes corresponding to class parameters must have the rule that the type indexes corresponding to class parameters must be
precisely the same {- TODO: same what? -} as type given in the instance head. For example: :: precisely the same as types given in the instance head. For example: ::
class Collects ce where class Collects ce where
type Elem ce :: Type type Elem ce :: Type
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment