これできるならResultで対応してNoErrorをNeverのaliasにしてほしいなぁ