workaround for GHC 76