Test sub-typing attrs in structural types