import Test.Hspec
import TypecheckTest
main :: IO ()
main = hspec $ do
  typecheckTest