started working on the three monad laws