Example on the use of backpack...

How do I parameterize a function by module in Haskell?...

How to avoid the need of an auxiliary newtype when matching this Backpack signature?...

What are module signatures in Haskell?...