extending type inferencer
extending type inferencer