Correcting associated type synonym specification