Type in is a static type checking with my pie project. Type guard is run time type checking with type guard, right? I think it's really one of the most undervalued projects out there, and in the typing space, type guard is so useful. It can just spasically deduce the type correctors. Your cod can absolutely be af type correctness as far as my pipe is concerned. Jus bcaus it says it nothing enforces an that where it said it returns an end. E type.