Nevermind, it doesn't work because Map might not a...

# announcements

[cbruegg]

Nevermind, it doesn't work because Map might not actually be a subtype of T. The same applies for the default parameter. At call site, a user may give a type parameter Set, while the default value remains a Map