debug : id -> Id