Un voyage impressionniste plongeant dans les profondeurs des concepts présentés par Runar Bjarnason à ScalaDays ("Composable application architecture with reasonably priced monads") où il décrivait une vision généralisée & purement fonctionnelle de la DI. Nous y rencontrerons des créatures étranges mais attachantes comme les FreeMonads, les Coproducts et les Coyoneda. Puis, nous nous aventurerons prudemment dans les contrées sauvages des curieux problèmes de performances liés aux FreeMonads et comment leur résolution peut devenir source d'inspiration.