I think you may have diagnosed me correctly. I have been enjoying Clojure. But weirdly enough, the more powerful a type system you have, the more you can do lisp-like magic. Think Rust's traits that can have default implementations, which basically gives you what multiple inheritance is supposed to provide. And Into<T> that essentially sprinkles opt-in dynamic typing through your codebase. There are so many bits of magic you can express with powerful static types, and I don't really mind writing a generic implementation once.