Making a ternary logic table, and I would like to make my own function for an operator that I\'ll call <=>.
<=>
So, for example, I want to do this, but
You can simplify (line-wise) the definition as follows:
(<=>) :: Ternary -> Ternary -> Ternary T <=> T = T F <=> F = T M <=> M = T M <=> _ = M _ <=> M = M _ <=> _ = F