fptools/libraries/monads/Monad/laws
