Produce proper type annotations in case of eta-expansion