reified example is halfAddH