えっと、tryを使ったfuncの返り値をTにするために、catchでError処理をするなりして型を純粋なTにする