F# is an ML with OOP. What's the closest it comes to Haskell generalized algebraic data types and typeclasses?