Alt laws for Maybe are poorly worded
kozross opened this issue · comments
Unless I am mistaken, Maybe satisfies both left distributivity and left catch. However, by its use of 'instead', the documentation implies these are mutually exclusive. This is pretty confusing, and should really be fixed.
Fixed in #101.