fix tuple2Bitraverse
fix lazyTuple2Instance
remove unnecessary constraint.