include S.UserImpl with
    type t := User_id_t.t