small nitpick/counter example: in Haskell, you could make your example look like:

   something <$> effectfulA <*> effectfulB

<$> and <> are very common in haskell code and basically second nature to any haskeller, and that's how I would personally write it (don't know if scala has equivalents). Idris in my opinion does this even better, in Idris it would look like the following:

    something !effectfulA !effectfulB -- using !-notation, or:
    [| something effectfulA effectfulB |] -- using idiom brackets

the two exist separately because !-notation is more general, while idiom brackets abstract _only function application_, and they desugar to map (aka <$>) and ap (aka <>), rather than !-notation which desugars to bind (aka >>=, aka <- in do blocks) I think given these they are roughly equivalent, with the added benefit (at least IMHO) that the side-effectful/monadic actions are very clearly marked even at a syntactic level