transformers.hs

run :: HashMap ModuleName LoadedModule -> Module UnresolvedReference Pos -> IO (Either Error.Error LoadedModule)
run loadedModules modul = runEitherT $ do
    env <- EitherT $ (try $ buildTypeEnvironment loadedModules modul) >>= \case
        Left err -> return $ Left $ Error.TypeError err
        Right result -> return result
    decls <- forM (mDecls modul) $ \decl -> do
        (lift $ try $ checkDecl env decl) >>= \case
            Left err -> left $ Error.TypeError err
            Right d -> return d
    lift $ freezeModule modul
        { mDecls=decls
        }