ただ式が内包してるifの数だけそのbuildEitherの選択があるから推論計算量が爆発しそうだな