Simplify given `Coercible` constraints
It would be feasible and possibly useful if
foo :: Coercible [a] [b] => a -> b foo = coerce
would work. This involve simplifying
CtGivens similar to how given (nominal) equalities are simplified.
I’ll defer working on this, as it is not strictly required, it seems.
|Component||Compiler (Type checker)|