s "acx" :: [()]
s "acy" :: [()]
s "bcx" :: [()]
s "bcy" :: [()]