wip: eta-expansion, compatibility for overload resolution