Loader.elm

onMenuLoaded : (Http.Error -> msg) -> (Menu -> msg) -> Sub msg
onMenuLoaded onError onSuccess =
  let
    decodeOnSuccess : String -> msg
    decodeOnSuccess str =
      case (decodeString Menu.decoder str) of
        Ok menu ->
          onSuccess menu
        Err err ->
          onError <| Http.UnexpectedPayload err
  in
  getMenuStringSuccess decodeOnSuccess


port getMenuString : String -> Cmd msg


port getMenuStringSuccess : (String -> msg) -> Sub msg

{-
-- TYPE MISMATCH ---------------------------------------- ././app/elm/Loader.elm

The type annotation for `onMenuLoaded` does not match its definition.

8| onMenuLoaded : (Http.Error -> msg) -> (Menu -> msg) -> Sub msg
                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type annotation is saying:

    (Http.Error -> a) -> (Menu -> a) -> Sub a

But I am inferring that the definition has this type:

    (Http.Error -> a) -> (Menu -> a) -> Sub b

Hint: A type annotation is clashing with itself or with a sub-annotation. This
can be particularly tricky, so read more about it.
<https://github.com/elm-lang/elm-compiler/blob/0.17.0/hints/type-annotations.md>
-}