map_id native + trying to understand why Lam_T