probably infinite type causing loop

[ghost]

type Zipper a
  = Zipper (List a) a (List a)


alwaysEmpty : Zipper a -> List a
alwaysEmpty _ = []


map f (Zipper before current after) =
  let g = alwaysEmpty >> f in

  Zipper
    (List.map g before)
    g
    after
    (List.map g after)

Causes elm-lang.org/try to run out of memory as well. I assume this is because the compiler gets stuck in a loop while trying to resolve type information for map.

abecker@eldin-laptop:~$ elm --version
0.18.0
abecker@eldin-laptop:~$ uname -a
Linux 4.9.0-6-amd64 #1 SMP Debian 4.9.82-1+deb9u3 (2018-03-02) x86_64 GNU/Linux

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.