Simplify machinery for finding correct instance of function for given arguments