If they all are why don't we add this to Monad and...
# arrow-contributors
r
If they all are why don't we add this to Monad and not introduce a new type class?