| Types are related by a generalization preorder (specified | below); the most general type, up to the equivalence | induced by that preorder, that can be assigned to a | particular expression (in a given environment) is called | its principal type. I like that, and will implement it. Thanks [Others: this is para 6 of 4.1.4 of the Haskell Report, if you are interested.] Simon