Fail immediately if can't typecheck.