the problem is not that `val`s can't carry type ar...

# announcements

[kirillrakhman]

the problem is not that `val`s can't carry type arguments, but that there's no functional type whose call method has a type argument (not saying there should be one, the use case is rather uncommon)