I'm looking at the references at the backpack wiki trying to understand in which cases the use of backpack would be considered appropriate over other Haskell features like type-classes and type-fam...

This might seem artificial, but I can't seem to find an obvious answer to the following: Say I have the following imports: import qualified Data.Map as M import qualified Data.HashMap.Lazy as HML...

Backpack promises to let us solve the string problem by parametrizing packages over signatures. The idea is that this will allow us to change the ecosystem in a backwards compatible way: we can sim...