statements without necessarily specifying the datatypes of their parameters. Abhijit Menon-Sen with some help from Tom Lane.