Make type3' case more explicit to avoid infinite recursion.