"hello" = "hello" *> equality "helloo" <> "hello" *> inequality "aello" < "hello" *> lexical ordering