そういやZip則+Align則が「十分」なのかってちょっとまだ分かってないんだよね

例えばZip+Align関手の合成がZip+Align則を満たすことの証明、自分はちゃんと書ききってないしほかの人がやったのも見てない