module Main where
import qualified TestPredicate
import qualified TestJson
import qualified TestRefined
import qualified TestRefined3
import Data.Functor

main :: IO ()
main = do
  TestPredicate.suite
  TestJson.suite
  TestRefined.suite
  TestRefined3.suite