"Dependency injection is just effects"
but conversely, also
"Effects are just dependency injection of continuations"