It's good to get this file reformatted. But we should change " : " to ": " in type annotation and record declaration. I decided to follow that style when I saw you used that style in most of the pull requests.