fptools/libraries/monads/Unstable/Control/Monad/laws
