RxSwiftが引き合いに出されてるけどあれもthrows closureの有無でちゃんとやれば、Errorの有無をコンパイル時に〜というのは不可能ではないはず