refactor
refactor
typecheck a package only once