Broken Eq List example

[danieljharvey]

Generating instances for this test causes an infinite loop to happen.

type List a = Cons a (List a) | Nil

instance Eq Bool {
  \a -> \b -> a == b
}

instance (Eq a) => Eq (List a) {
    \listA -> \listB -> case ((listA, listB)) {
        (Nil, Nil) -> True,
        (Cons a as, Cons b bs) ->
                          if (equals a b) then (equals as bs) else False,
        _ -> False }
        }

/* you need this there to ensure the instance is created */
test "whoa" { equals (Nil : List Bool) (Nil : List Bool) }