Re: [GHC] #15713: Bogus -Woverlapping-patterns warning with OverloadedStrings