Giters

tomjaguarpaw / tilapia

Improving all Haskell's programmer interfaces

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Improve MonadFail docs - what is "left zero"?

tomjaguarpaw opened this issue · comments

commented

The MonadFail docs say

Instances of MonadFail should satisfy the following law: fail s should be a left zero for >>=,

I think "fail s should be a left zero for >>=" means that fail s >>= f == fail s.

  1. If so, say that instead "left zero" is too obscure.
  2. If not, clarify it.
commented

It already says that!