`Pair` 是否是 `MonadRec` 的有效实例?

由于您可能会觉得这个问题很有趣,所以在这里跨帖发布以下 Stack Overflow 问题。