それはそう。ていうか、throwsっていう文法機能が、エラーモナドの構文変換だから。