あとfundep欲しい
https://github.com/purescript/purescript-parallel
以下のようなことを思いついたので、やってみた。
論理的にある程度は予想通りというか、不可能ではないことは確認できた気はするが、いつも通り型推論がつらいのを確認しただけな感じする。
https://twitter.com/xuwei_k/status/844962528450920448
その1 (素直に実装？)
https://gist.github.com/xuwei-k/eaa919c7153817834fadb25580822d00
その2(型を露出する必要なくね？と思った)
https://gist.github.com/xuwei-k/ff8455a7f8c77dbacee0ba9394501e30
さすがにscalaz本体にはいれない・・・？んー、どうなんだろう。
独自ライブラリにするか、とか、もっと推論効く使いやすい実装にならないか、とか多少考えてみる
