thisBrakesChecker : Dict a b -> Dict a b
thisBrakesChecker = \state ->
    firstKVFromDict = state |> Dict.toList |> List.first
    when firstKVFromDict is
        Ok element ->
            when state |> Dict.get element is
                Ok _ -> state
                Err KeyNotFound -> state

        Err ListWasEmpty -> state

➜  examples git:(main) ✗ roc check test.roc

── TYPE MISMATCH ──────────────────────────────────────────────────── test.roc ─

This 2nd argument to |> has an unexpected type:

21│              when state |> Dict.get element is
                                        ^^^^^^^

This element value is a:

    (
        a,
        b,
    )a where a implements Hash & Eq

But |> needs its 2nd argument to be:

    a where a implements Hash & Eq

Note: The type variable a says it can take on any value that
implements the abilities Hash and Eq.

But, I see that the type is only ever used as a a tuple value. Can you
replace a with a more specific type?

# thisBrakesChecker : Dict a b -> Dict a b
thisBrakesChecker = \state ->
    firstKVFromDict = state |> Dict.toList |> List.first
    when firstKVFromDict is
        Ok element ->
            when state |> Dict.get element is
                Ok _ -> state
                Err KeyNotFound -> state

        Err ListWasEmpty -> state