Тип стирающий, тип стирающий, `любые` вопросы?

Итак, предположим, что я хочу набрать стирание, используя стирание типа.Я могу создать псевдо-методы для вариантов, которые включают естественный: