First working version of hlist extraction