finished through typeInfer lab5