Simple nested type assertions