module Main where import Data.CommutativeSpec import Test.Tasty main :: IO () main = defaultMain tests tests :: TestTree tests = testGroup "Testing..." spec