Haskell experiments with lifting variational data structures - View it on GitHub