One of the best P2P clients ever created is written in OCaml: https://github.com/ygrek/mldonkey

I'm still surprised it can do so many things so well, so fast.