Is there a typed, functional language with mature versions on Microsoft's CLR and the JVM?  A JVM OCaml to go with F# would be ideal.