Removing monad laws line until I can be sure this obeys the laws