• Joachim Breitner's avatar
    Make Coercible higher-kinded · 976a1087
    Joachim Breitner authored
    This implements #8541. The changes are fully straight forward and work
    nicely for the examples from the ticket; this is mostly due to the
    existing code not checking for saturation and kindness.
    976a1087
TcErrors.lhs 58.7 KB