Fix data ctor arity comparison.
Merge pull request #1392 from ziman/fix-dctor-erasure

Fix erasure from data constructors