module Main where

import TestMain (testMain)

main :: IO ()
main = testMain