WIP Push updated HList, take works modulo a bug