let
pretty = pp_list pp_goalx