[IMP] Code -> Sequence Type