Require polyfn defs if types inherit multiple impls in presence of multiple inheritance