>>740が手作業でタプルを返すfoldの中身を書くっていうのはtuplingという手法なんだけど
それを自動化する事は考えられてる・・・がまだ研究段階でした残念！
現実的な解としては複雑化されてしまうfoldの中身をコンビネータで判りやすく組み立てる仕組みを作る事ぐらいだね
ちょっと前にでてたHXTのArrowとかまさにそれだと思う