That's rarely the case for effectful code, which is where you'd typically see multiple monadic type class constraints.