Experiences with effects specifications