Content-Type: text/shitpost

One can use the Knuth-Bendix algorithm to determine, for example, which subsets of the group laws necessarily imply the others. (For example, any associative binary operation with an identity element and left-side inverses must necessarily have right-side inverses also.)

Could this similarly be done to find minimal sets of haskell instance operators? Say to determine that return and join together imply return and >>=, and vice versa, but that >>= and join together do not imply return?