Added some code for typeInfer(Function())