don't depend on tagged for ghc >=7.8