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)) ```