Type inferencer works now.