Got type inferencer to work for amb.