Note about the resolution of GHC#9063.