Rewrite representation of constructors