Matthias Zenger Martin Odersky Extensible Algebraic Datatypes with Defaults. 241-252 2001 ICFP db/conf/icfp/icfp2001.html#ZengerO01