Report question

Question: What's the closest thing to Haskell GADTs and typeclasses in F#?