(POSTBACK) Rooted invariant types.