Infinite loop

[jacereda]

Looks like this code taken from @scolsen's comment in #1012 loops forever.

(load "https://github.com/scolsen/typeclass@master")
(defn bi-lift [f applicative-a applicative-b]
     (sequence (fmap &(binary-partial binary-partial f) cx) cy))

[scolsen]

Oh wow! I should mention that the code sample requires the interfaces to be implemented, and master on that repo doesn't contain implementations yet. Whether or not those symbols are defined or not defined shouldn't matter though, as neither case should cause a loop.

[eriksvedang]

So many infinite loops 🤯

It seems like most of them come from looking up things, so I think we should write some (Haskell) tests for the Lookup module and make it completely bullet proof. Would be a great chance to clean up a bit there, since we have so many lookup functions now.