Effectful Applicative Bisimilarity: {{Monads}}, Relators, and Howe's Method