Prove Assocation law for Maybe