Uig, Skye north and the River Conon which drains Glen Uig to the east. The lower courses of both of these small rivers are characterised by waterfalls. Uigg, Prince Edward Island, Canada was named by settlers from Uig. The population is estimated to be between 200–300 inhabitants. Uig is served by the A87 road from Portree and Kyle of Lochalsh to the south and the A855 road which runs northwards around the end of the Trotternish peninsula before also turning south to Portree. As of August, 2006, Uig is accessible via intercity buses on Skye, and Scottish Citylink buses, which travel as
Principal type among several options. The principal type property should not be confused with the principal typing property which requires that, given a term, there exist a typing (i.e. a pair with a context and a type) which is an instance of all possible typings of the term. Principal type In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal