в haskell это ключ к изучению haskell.
тим, я определил свой собственный тип данных как
data MyData = A arg| B arg2| C arg3
Как бы я написал функцию (например:isMyDataType
) проверяет, является ли данный аргумент одним из конкретных типов вMyData
и последовательно возвращает логическое значение (True или False), например, набрав в Ghci:isMyDataType B
возвращает True иisMyDataType Int
возвращает Ложь