Added migration path to GHC.TypeLits in comments.