By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Ask for a constructor and a field named after their type A constructor and a field are in scope wherever their type is, and the type is written nowhere near the use site, so the name has to carry it. The whole of the type's name, because an abbreviation of it is a second name for the type that nothing keeps in step with the first. Case is ignored when reading the prefix. A field lowers the first letter of the type's name, and a type whose name opens with an acronym has more than the first letter lowered by anyone writing the field by hand, so the case of the prefix is not something a name can be held to. What it is held to is that the whole of the name is there. An operator name is left alone in either role. An infix constructor is read as the operator between its arguments rather than as a word, so there is nowhere in it for a prefix to go.