Tiny further simplification of type provider elaboration