[disqard]

To maintain type safety, function subtypes are contravariant in the input type and covariant in the output type.

"Be liberal in what you accept, and conservative in what you expect others to accept."

Maybe human communications also has to adhere to basic principles to guarantee robustness.