Unrolling data with Backpack by Oleg Grenrus

We have now seen how one can use Backpack to implement Vec . The approach is different from GADTs and data family way, as the tail can be UNPACK ed. In this blog post I would like to show you an experimental method for dealing with multiple effects in Haskell that I have called joint schemes.