That should be fine because 'undefined' and undefined from an enum are bolth pretty printed the same way, right?