[fweimer]

Haskell knowledge doesn't actually help because this isn't using the (very barebones) Haskell module system, but the Backpack extension: https://www.microsoft.com/en-us/research/wp-content/uploads/...

[chombier]

Thanks, I scanned through all the comments/links but this is the actual resource one wants to read to get familiar with Backpack.