@omochimetaru 依存型はまさにそうで、そこにthrowsの有無を組み込めばやりたいことはできる