Comments into safe typing (emerged discussing with Bruno)