PRE: remove typecheck