Workaround for GHC issue 8825.