Clarify that the IO types of a function are important

[elibarzilay]

People who are used to dynamic type system are likely to get blocked on a "but I can check the type of functions too" — they miss the fact that the IO types are needed.