s "ca" :: [()]
s "b" :: [()]
s "a" :: [()]