inference: don't distinguish parameterizations with 2 different interfaces (IDEA...