このとき 本当は ArrowChoice*1 での実装も書く予定だったけどまだ理解が足りてなかった。 それで id:nskj77 氏が書かれた Arrow のはなし を読んでいる。 読みながら実際の定義も調べているとどうやら型クラスが理解できていない。 型クラスについて調べて…