Code incorrect in Looping via Recursion section about purescript-jordans-reference HOT 3 CLOSED

findFirst Nil (\el -> el == 1)
findFirst' Nil (\el -> el == 1) Nothing
Nothing

findFirst :: forall a. List a -> (a -> Boolean) -> Maybe a
-- Match 1
findFirst list condition = findFirst' list condition Nothing

findFirst' :: forall a. List a -> (a -> Boolean) -> Maybe a -> Maybe a
-- Match 1
findFirst' Nil condition notFound = notFound
-- Match 2
findFirst' (Cons head tail) condition theA@(Just alreadyFound) =
  findFirst' tail condition theA
-- Match 3
findFirst' (Cons head tail) condition Nothing =
  let foundOrNot = if (condition head) then (Just head) else Nothing
  in findFirst' tail condition foundOrNot

findFirst (Cons 0 (Cons 1 (Cons 2 Nil))) (\el -> el == 1)
-- findFirst - Match 1: match found. Replace args with that match's body

findFirst' (Cons 0 (Cons 1 (Cons 2 Nil))) (\el -> el == 1) Nothing
-- findFirst' - Match 1: match failed. 1st arg was `Cons`, not a `Nil`. Go to next match
-- findFirst' - Match 2: match failed. 3rd arg was `Nothing`, not a `Just`. Go to next match
-- findFirst' - Match 3: match found. Replace args with that match's body.

findFirst'         (Cons 1 (Cons 2 Nil))  (\el -> el == 1) Nothing
-- findFirst' - Match 1: match failed. 1st arg was `Cons`, not a `Nil`. Go to next match
-- findFirst' - Match 2: match failed. 3rd arg was `Nothing`, not a `Just`. Go to next match
-- findFirst' - Match 3: match found. Replace args with that match's body.

findFirst'                 (Cons 2 Nil)   (\el -> el == 1) (Just 1)
-- findFirst' - Match 1: match failed. 1st arg was `Cons`, not a `Nil`. Go to next match
-- findFirst' - Match 2: match found. Replace args with that match's body.

findFirst'                         Nil    (\el -> el == 1) (Just 1)
-- findFirst' - Match 1: match found. Replace args with that match's body.

Just 1