module Main where

import Test1 ()
import Test2 ()

main :: IO ()
main = return ()