Re: [ghc-steering-committee] #460: better migration for non-magical ~