3 ms·Union types would be an incredibly useful extension of this.by petrounias 12y agoUnion types would be an incredibly useful extension of this.illumen 12y agoIndeed! pysonar2 uses them with success.