public override PLanguageType Canonicalize() { return(new MapType(KeyType.Canonicalize(), ValueType.Canonicalize())); }