Er, a default type implementation should not be used as an inference rule.

Reply via email to