. . . " +-- type 'EExpose'. (A phantom type is a type for which no values exist and" .