workaround for GHC 7.7.