Correction for checking nested compose types