module Main where

import Test.Tasty
import Test.Tasty.TH



main :: IO ()
main = do
  defaultMain $ testGroup ""
    [
    ]