The Beauty of Static Types