Even better type annotation.s