gistfile1.txt

path :: [Text] -> Traversal' Value Value
path = alaf Endo foldMap key

• Couldn't match type ‘Maybe Value’ with ‘Value’
      Expected type: [Text] -> (Value -> f Value) -> Value -> f Value
        Actual type: [Text]
                     -> Unwrapped (Endo (Maybe Value -> f (Maybe Value)))
    • In the expression: alaf Endo foldMap key
      In an equation for ‘path’: path = alaf Endo foldMap key
    |
139 | path = alaf Endo foldMap key
    |        ^^^^^^^^^^^^^^^^^^^^^