-- !!! Testing duplicate type synonyms
type T = Int
type T = Float