typecheck: compiles