The expression `indexOf' "" 2 "ab"` evaluates to `Just 0`, however it should be `Nothing` because the string `"ab"` doesn't have a character at index `2`.
The expression
indexOf' "" 2 "ab"evaluates toJust 0, however it should beNothingbecause the string"ab"doesn't have a character at index2.