тим, я определил свой собственный тип данных как

data MyData = A arg| B arg2| C arg3

Как бы я написал функцию (например:isMyDataType) проверяет, является ли данный аргумент одним из конкретных типов вMyData и последовательно возвращает логическое значение (True или False), например, набрав в Ghci:isMyDataType B возвращает True иisMyDataType Int возвращает Ложь