в Хаскеле нет первоклассных образцов, нельзя принять его в параметре.
а если решать вот такую задачу, то вместо образца можно взять предикат.
если надо не только проверять сопоставление, но и извлекать данные, то используются селекторы и проекции.
а призмы — это самое общее обобщение всего вышеперечисленного + построение в обратную сторону