How to create a haskell semigroup truth table? So I’m trying to learn haskell. How do I create a semi group?