Use "value" rather than "create" for nullary ctors