Ignore tags and refactor HTTPAuth.hs