Try to iterate over types.

    Currently attempts to double specialize, but it's a step forward.