Show me your function bodies and conceal your types, and I shall continue to be mystified. Show me your types, and I won’t usually need your function bodies; they’ll be obvious.
– Fred Brookes
Fred Brookes didn’t actually says this. But it is interesting.