```haskell doesMatchExist = case (sepCap sep input) of [Left _] -> False otherwise -> True ``` Does laziness short-circuit `doesMatchExist` correctly? ```haskell firstMatch = find isRight $ sepCap sep input ``` Does laziness short-ciruit `firstMatch` correctly?