Да ФП, не смотря на все монады, заканчивается на IO и стейте. ФП - это отличная парадигма, позволяющая поверх себя строить другие, умеющие IO и стейт. Но сама она не позволяет даже консольное приложение сделать.

Что там будет на верхнем уровне - ООП, монады, стрелки, акторы и прочее - вопрос не про ФП совсем.