Fully type the provided value in infer and check. Need to fix the escape check.