このStranzに"普通"にRepeat, Semialign, Alignのインスタンスを定義すると、Distributivity以外は満たす
それとも、こう考えればいいのか？Q False :: [a1][a2]Q True :: [ b1 ][b2]という部分関数をzipしている
Distributivityがあれば、大体うまく行ってそうな雰囲気だな
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
それとも、こう考えればいいのか？
Q False :: [a1][a2]
Q True :: [ b1 ][b2]
という部分関数をzipしている