hm, presumably, named type params would come with ...
# language-proposals
k
hm, presumably, named type params would come with defaults?