{"action":"opened","issue":{"url":"https://api.github.com/repos/elm-lang/elm-compiler/issues/1192","labels_url":"https://api.github.com/repos/elm-lang/elm-compiler/issues/1192/labels{/name}","comments_url":"https://api.github.com/repos/elm-lang/elm-compiler/issues/1192/comments","events_url":"https://api.github.com/repos/elm-lang/elm-compiler/issues/1192/events","html_url":"https://github.com/elm-lang/elm-compiler/issues/1192","id":118142873,"number":1192,"title":"Wrong \"expected\" type from the annotation","user":{"login":"Janiczek","id":149425,"avatar_url":"https://avatars.githubusercontent.com/u/149425?v=3","gravatar_id":"","url":"https://api.github.com/users/Janiczek","html_url":"https://github.com/Janiczek","followers_url":"https://api.github.com/users/Janiczek/followers","following_url":"https://api.github.com/users/Janiczek/following{/other_user}","gists_url":"https://api.github.com/users/Janiczek/gists{/gist_id}","starred_url":"https://api.github.com/users/Janiczek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Janiczek/subscriptions","organizations_url":"https://api.github.com/users/Janiczek/orgs","repos_url":"https://api.github.com/users/Janiczek/repos","events_url":"https://api.github.com/users/Janiczek/events{/privacy}","received_events_url":"https://api.github.com/users/Janiczek/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-11-20T22:45:14Z","updated_at":"2015-11-20T22:45:14Z","closed_at":null,"body":"The \"expected\" and \"actual\" rows are the same when they probably shouldn't be.\r\n\r\n```elm\r\nThe type annotation for `shrinker` does not match its definition.\r\n\r\n17│ shrinker : Shrinker (List (Maybe MyType))\r\n               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\nThe type annotation is saying:\r\n\r\n    Shrinker (Maybe MyType)\r\n\r\nBut I am inferring that the definition has this type:\r\n\r\n    Shrinker (Maybe MyType)\r\n\r\n```\r\n\r\nI would have expected it to say:\r\n\r\n```diff\r\n-The type annotation is saying:\r\n-\r\n-    Shrinker (Maybe MyType)\r\n+The type annotation is saying:\r\n+\r\n+    Shrinker (List (Maybe MyType))\r\n```\r\n\r\nThe minimal code:\r\n\r\n```elm\r\nmodule Main (..) where\r\n\r\nimport Lazy.List exposing (empty)\r\nimport Shrink exposing (Shrinker, maybe)\r\n\r\n\r\ntype MyType\r\n    = A\r\n    | B\r\n\r\n\r\nshrinkerMyType : Shrinker MyType\r\nshrinkerMyType action =\r\n    empty\r\n\r\n\r\nshrinker : Shrinker (List (Maybe MyType))\r\nshrinker =\r\n    maybe shrinkerMyType\r\n```\r\n\r\nThe relevant dependencies:\r\n\r\n```\r\n    \"dependencies\": {\r\n        \"NoRedInk/elm-lazy-list\": \"2.0.0 <= v < 3.0.0\",\r\n        \"NoRedInk/elm-shrink\": \"1.0.3 <= v < 2.0.0\",\r\n        \"elm-lang/core\": \"3.0.0 <= v < 4.0.0\",\r\n    },\r\n    \"elm-version\": \"0.16.0 <= v < 0.17.0\"\r\n```"}}