default case of derivation must fail
desugarer adds only necessary explicit unifications