В прологе мы можем сделать что-то вроде следующего:

myFunction a (a:xs) = ...

Это когда 1-й аргументmyFunction совпадает с первым элементом списка, который находится во втором аргументе, эта функция будет....

Мой вопрос сейчас ... как сделать подобное в Haskell? У меня есть идея, что сопоставление с образцом в Прологе более выразительно, чем в Haskell. Я пытался закодировать это в Haskell, и у меня возникли проблемы - либо я использую неверный синтаксис, либо вышеупомянутый трюк просто не сработает.