Comment by dwohnitmok

What would homotopy types bring to the table?