теперь спж еще против вьюпаттернов топит, причем пишет что паттерн-синонимы их частично заменяют, а полностью заменяет столетний пропозал который никто никогда не имплементировал в котором вместо (foo -> Pat) надо (x | Pat <- foo x) писать
я вообще не помню чтоб видел когда-нибудь паттерн-синоним определенный не через вьюпаттерн