as_capabl
（あったらどうしよう、という不安もある）
Generic なあらゆる型に使えるように補助するものなんですね。「モナドとは何か？」という問い自体がナンセンスであるという観点で打ち破ろうと考えているんだと思いますが、やっぱりHaskellをある程度知っている人向けにしない限りきついんじゃないかと思います。分量的にも聞いている人のモチベーション的にも。
つい最近、Haskell全く触ってない人からモナドについて聞かれたので、需要はあると思いますよ
:* と :| のパラメータを、リストが先、包装型が後になるよう入れ替える大胆な変更です。リストを固定することが多いので取り回しがよくなり、barbiesのインターフェイスも利用できるようになりますdata Foo h = Foo (h Int) (h Double)みたいな非extensibleなHKDが増えてきたので、この際そちらに合わせようとh :* xs を見たとき xs の先頭に h をのっけているように感じられてならなかったので、それが少し改善されますね！ :+1:xs :& h なら xs が前なのでそうとは思えない！）Product も Sum も型の名前としては使ってないし、ちょうどいい気がしますね。EProduct, ESum と妥協するのはダメでしょうか？stack.yaml.lock なるもが生成されるようになったのか（git で管理する必要はなさそう