let rec meta_list mf_a _loc =
                          function
                          | [] -> Ast.PaId (_loc, (Ast.IdUid (_loc, "[]")))
                          | x :: xs ->
                              Ast.PaApp (_loc,
                                (Ast.PaApp (_loc,
                                   (Ast.PaId (_loc, (Ast.IdUid (_loc, "::")))),
                                   (mf_a _loc x))),
                                (meta_list mf_a _loc xs))