let pretty = pp_list pp_goalx