module Main ( main ) where import Test.Framework (defaultMain) main :: IO () main = defaultMain [ ]