Fix erasure from data constructors.
Add a check for missed newtype optimisations.
Fix indentation.
Add workaround for some non-trivial case-matches on detaggable data.
Add a regression test.
Merge pull request #1106 from ziman/fix-dctor-erasure

Fix erasure from data constructors