typecheck ...ing