Implement left identity law test on Option monad