An example from tryfsharp.org