[Haskell-cafe] OT: CLR and JVM

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. Trent