Prelude has added smartrep