All well-typed and some pure tagged cases