Implement value stack via HList. NOTE: yet compilable only