tagged isn't needed with GHC >= 7.7