HListToRec seems to work now :)