12. Ocaml typing => magic + cast.

 13. Managing huge extraction (constructive FTA).