Types and locale