test passed
new inference: collect input vars over SAM parameter types for implicit lambdas/inexact method refs
excessive "Module" removed
excessive "Module" removed