bar , baz(false), baz(true) の3要素になるってことですか？

4:35 AM

bazを受け付ける変数の型がうまく書けなくないですか？

4:35 AM

結局Fooになっちゃうからbazのcaseで(Bool)を剥がすパターンマッチが必要に。