#7220: Confusing error message in type checking related to type family, fundep,
and higher-rank type
--+-
Reporter: tsuyoshi | Owner: simonpj
Type: bug
#7220: Confusing error message in type checking related to type family, fundep,
and higher-rank type
+---
Reporter: tsuyoshi | Owner: simonpj
Type: bug |
#7220: Confusing error message in type checking related to type family, fundep,
and higher-rank type
--+-
Reporter: tsuyoshi | Owner:
Type: bug | Status:
#7220: Confusing error message in type checking related to type family, fundep,
and higher-rank type
--+-
Reporter: tsuyoshi | Owner:
Type: bug | Status: