more monad tests and applicative tests