この場合、identityがlet c　に束縛されたsomeです。