A debug-print was trying to print the coercion returned
by the flattener.  But that coercion can be undefined
in the case of Derived constraints.  Because we might
rewrite it with [D] a ~ ty, and there is no evidence
for that.

Solution: don't attempt to print the coercion.