Report question

Question: Expressing existential types in F#