More (in)sanity for the type hierarchy