"'be conservative in what you send, be liberal in what you accept' ... Among programmers, to produce compatible functions, the principle is also known in the form: be contravariant in the input type and covariant in the output type."