Monad classes should implement IEquatable and there should be an extension method on Monad delegates that allow equating.
Monad classes should implement IEquatable and there should be an extension method on Monad delegates that allow equating.