> typecheck
> tsc --noEmit