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