add Foldable1#compose, Traverse1#compose