仕組みとしてはResultBuilderのために導入された型推論の進化を応用してる