If I see a call to a function like `fun(a: Foo): B...

# announcements

[zoltu]

If I see a call to a function like fun(a: Foo): Bar, I must go read that function to find out if it mutates state in order to make any reasonable assertions about what the code actually does.