How to write a monad instance for a pair where both arguments have the same type?

来源：https://stackoverflow.com/questions/58753545/how-to-write-a-monad-instance-for-a-pair-where-both-arguments-have-the-same-type