Fix: a minor type specialization bug;
Update: modules/coroutine for current changes.