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