It just dawned on me why `typeclassless` DI is cal...

# arrow

[julian]

It just dawned on me why typeclassless DI is called that. It's not merely because there are no typeclasses used, though that is true. It's because the technique used (i.e. composing interfaces that provide definitions of extension functions on data classes) replaces the intended purpose of typeclasses, which is to use polymorphic functions to provide those data classes with extended functionality.