Inference fails when infered type isn't imported #233