Tweaking type hierarchy.