s "cb" >>= print
s "aacbb" >>= print
s "aacb" >>= print