Can babashka use any clojure library as long as the library doesn't use any of the features called out https://book.babashka.org/#differences-with-clojure? e.g. I'm trying to use https://github.com/clojure/algo.monads but I have an error.

{:deps {org.clojure/algo.monads {:mvn/version "0.1.6"}}
 :tasks {:requires [[clojure.algo.monads]]
         hello (println "hello")}} 

C:\Users\richie\project>bb hello
----- Error --------------------------------------------------------------------
Type:     clojure.lang.ExceptionInfo
Message:  Could not resolve symbol: clojure.lang.Compiler/specials
Location: clojure/tools/macro.clj:32:19
Phase:    analysis

----- Context ------------------------------------------------------------------
28: ; it impossible to shadow them by macro definitions. For most special
29: ; forms, all the arguments are simply macro-expanded, but some forms
30: ; get special treatment.
31: (def ^{:private true} special-forms
32:   (into #{} (keys clojure.lang.Compiler/specials)))
                      ^--- Could not resolve symbol: clojure.lang.Compiler/specials
33: ; Value in Clojure 1.2 and 1.3:
34: ; #{deftype* new quote & var set! monitor-enter recur . case* clojure.core/import* reify* do fn* throw monitor-exit letfn* finally let* loop* try catch if def}
35:
36: ; The following three vars are constantly redefined using the binding
37: ; form, imitating dynamic scoping.

Idea: https://github.com/clj-kondo/clj-kondo/issues/1553

I've implemented some checks in bb/SCI for recur in non-tail position. There is one edge case. This was previously possible:

(fn [] (try (recur)))

@maximilian is killing it lately. he's added cycle detection to bb.edn in clj-kondo.