Added Monad Laws Tests