clarify types example