@@ -56,6 +56,8 @@ localizer metaModule = go
5656realias :: Rules -> Type -> Type
5757realias (aliases,localize) tipe = localize (canonicalRealias aliases tipe)
5858
59+-- Realias using canonical aliases, so results will have aliases
60+-- that are fully qualified and possible to compare.
5961canonicalRealias :: [(String,[String],Type)] -> Type -> Type
6062canonicalRealias aliases tipe =
6163 case concatMap tryRealias aliases of