*Very basic* nested type assertions