Dammit, we got stuck in recursive ambiguity land :-)