-e .[typecheck]
