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