Spessartine in rhyolites in Colorado and Maine. In Madagascar, spessartines are exploited either in their bedrock or in alluvium. The orange garnets result from sodium-rich pegmatites. Spessartines are found in bedrock in the highlands in the Sahatany valley. Those in alluvium are generally found in southern Madagascar or in the Maevatanana region. Spessartine forms a solid solution series with the garnet species almandine. Well-formed crystals from this series, varying in color from very dark-red to bright yellow-orange, were found in Latinka, Rhodope Mountains, Kardzhali Province, Bulgaria. Spessartine, like the other garnets, always occurs as a blend with other species. Gems with
Type theory of a function is denoted with an arrow formula_16 from the parameter type to the function's resulting type. Thus, formula_17. Calling or "applying" a function to an argument may be written with or without parentheses, so formula_18 or formula_12. Not using parentheses is more common, because multiple argument functions can be defined using currying. There are many different set theories and many different systems of type theory, so what follows are generalizations. The term formula_20 reduces to formula_21. Since formula_21 cannot be reduced further, it is called a normal form. A system of type theory is said to be strongly