If I see a call to a function like `static fun(a: ...
# announcements
z
If I see a call to a function like
static fun(a: Foo): Bar
, I can forgo reading that functions implementation unless I actually care what its return value is going to be.