не корректно. В случае ФП у тебя "агрегат" это будет некая структура данных, да, и функции которые типами "привязаны" к этой структуре. Потому данные и логика обработки этого кода в целом могут быть объявлены в рамках одного модуля.
А так в рантайме оно у всех "данные отдельно логика отдельно"