runTCIn :: TCEnv -> TypeCheck a -> Either TCError a
runTCIn env m = runTC (local env m)
runTCIn :: TCEnv -> TypeCheck a -> Either TCError a
runTCIn env m = runTC (local env m)
runTCIn env m = runTC (local env m)