Optimizing Obsequious Types