Это хаскеллисты называют ситуацию, когда у тебя есть декларация на уровне типов, какие побочные эффекты твоя функция может выполнять. Есть один большой грубый эффект - IO, но хаскеллистам этого мало, они пошли его делить на Database, Logger, HTTP, называть это эффектами (хотя остальной мир называет это подсистемами), и складывать эти эффекты в какой-нибудь тайп левельный список
Называю эти вещи "модулями", что в принципе ближе к "подсистемам", которых я ни разу не встречал, но по факту это близко к системам эффектов (если я правильно понял тайплевел листы)