s "ace" :: Maybe ()
s "acd" :: Maybe ()
s "bcd" :: Maybe ()
s "bce" :: Maybe ()