#8541: Coercible should be higher-kinded
-------------------------------------------------+-------------------------
Reporter: nomeata | Owner:
Type: task | nomeata
Priority: normal | Status: patch
Component: Compiler | Milestone:
Resolution: | Version: 7.6.3
Operating System: Unknown/Multiple | Keywords:
Type of failure: None/Unknown | Architecture:
Test Case: TcCoercible, | Unknown/Multiple
TcCoercibleFail3 | Difficulty:
Blocking: | Unknown
| Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Comment (by Joachim Breitner