add more principality warnings examples for applications (#9408)
add more principality warnings examples for applications (#9408)


gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml