Monad-Applicative consistency law

tips fp haskell