Racing Types