Qualified data constructors #528