Effectful applicative similarity for call-by-name lambda calculi