Util.un_op -> Option.default