recursive 2 days ago

So shall we require checking for matching type of first? It doesn't seem like an improvement to me.