Clojurians Log v2

Is typed.clojure capable of creating generators like you can from specs for use in test.check? Also, I see there is a way to auto generate types from specs would that work for most specs? Would that be equivalent to if I just wrote the types from the beginning or is there limitations with the static checks that provides? I'm just curious if I can write specs and just get static typing essentially for free from that. I'm sure its not that simple but figured i'd ask.