Diamond Types