Как мне создать оператор в Haskell?

Создание таблицы троичной логики, и я хотел бы создать свою собственную функцию для оператора, который я назову <=> .

Так, например, я хочу это сделать, но это неправильно. как это сделать правильно?

data Ternary = T | F | M
deriving (Eq,  Show, Ord)

<=> :: Ternary -> Ternary -> Ternary
<=> T F = F
<=> T T = T
<=> T M = M
<=> F F = T
<=> F T = F
<=> F M = M
<=> M F = M
<=> M T = M
<=> M M = T