ResultもCheckedContinuationも、一応 typed throwsの可能性を見てるから型パラメータ <Error> を採用してるという側面はありますね。