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