"abcde" - Pfx("ab") # "cde" "abcde" - Pfx("xy") # MatchFail exception "abcde" - MaybePfx("xy") # "abcde"