s "da" :: [()] s "bdc" :: [()] s "dc" :: [()] s "bda" :: [()]