Ted Neward is writing a series illustrating the tricks and pitfalls of translating a basic WCF service into F#. You can get the first two and a half parts covering contracts, data types, and service definitions here.