Rewrite using constructors