Why can't I use record selectors with an existentially quantified type?

Question

When using Existential types, we have to use a pattern-matching syntax for extracting the foralled value. We can\'t use the ordinary record selectors as functions.

Answer 1

You can use record syntax in pattern matching,

func1 BigData{ someField = elemx } = func2 elemx

works and is much less typing for huge types.