(typing-with empty-system (defn f [x] 42)) とかできる