This sounds like haskell’s backpack, which lets you swap implementations of a model interface at will. But maybe I’m misunderstanding what you meant. Polymorph

This sounds like haskell’s backpack, which lets you swap implementations of a model interface at will. But maybe I’m misunderstanding what you meant. Polymorphism is front an central to everything in Haskell, which is why your comment sound off to me.