are invisible to the caller; we make them visible with TypeAllications — a “visibility override.” Behol…pe variables do not exist after the =>, they are invisible to the caller; we make them visible with TypeAllications — a “visibility override.” Behold: