cope with GHC 8.6