Да. Достаточно зависеть от чего-то внешнего. Неопределенность тоже сайд эффект.
Конечно есть определенная условность. Например, внешнее состояние может не влиять на результаты.
Практически в фп мы заворачиваем сайдэффектящие функции в ленивость для восстановления ссылочной прозрачности нашего выражения. Это можно рассматривать как границу определения при условностях