X [] = Y []