Adding up the types