You wouldn't lose type safety in what he wants to ...
# getting-started
k
You wouldn't lose type safety in what he wants to do though.