The UX is terrible. Separate file for types is just inconvenient. I wish it was something like Python's optional typing