module Language.Haskell.TypeCheck where

import Language.Haskell.Exts.Annotated.Syntax

import Language.Haskell.TypeCheck.Monad

typeCheck :: IO ()
typeCheck = undefined