[waynesonfire]

here is the talk, good stuff, Dead-Simple Dependency Injection

https://www.youtube.com/watch?v=ZasXwtTRkio

[eximius]

Replacing DI with Free Monads is not what I'd call simple. It's not even possible in a type safe way in most(?) languages.