ラムダ式の戻り値の型を作った側が毎回書くのはじゃんくさい 関数の引数に使った感じから型推論できるように対応してみた型推論の途中で戻り値なし、またはIntってゆーのを [Void | Int] みたいに表して 関数からフィードバックを受けて最後にVoidが残ったら…