hacking on single-constructor records