Tag: 等式推理

如果返回a =返回b，那么a = b？

你能certificate，如果return a = return b然后a=b ？ 当我使用= ，我的意思是在法律和certificate的意义上，而不是Eq意义。 我所知道的每一个monad似乎都能满足这个要求，我想不出一个有效的monad，而不是（ Const a是一个函数和应用，而不是monad）。