map nil F nil map cons x l F cons F x map l F x a l list F a a nil list cons a list list map list a a list FULL .