CPS Hell.hs

-- formulate in standard style, as a mental crutch
tryUntilSuccess :: [a -> Either e b] -> a -> Either [e] b
tryUntilSuccess fs x = let ys = map ($ x) fs
                       in case dropWhile isLeft ys of
                           []  -> Left $ lefts $ takeWhile isLeft ys
                           (Right y):_ -> Right y

-- Formulate in simply polymorphic CPS next
-- This is the signature of the... thing... I'm trying to write
tryUntilSuccessCPS :: [a -> (Either f b -> c) -> c] -> ((a -> (Either [f] b -> e) -> e) -> d) -> d