give predicate emission a chance before the occurs check kicks in; potentially dangerous change, but I hope it fixed many 'Occurs check' issues involving TyFuns
give predicate emission a chance before the occurs check kicks in; potentially dangerous change, but I hope it fixed many 'Occurs check' issues involving TyFuns
minad/omega,cartazio/omega