Re: Fix for ticket 8095 in ghc-8.10.1