@neauoire :: Just invent a time traveling type checker that runs your program, tracks each step along the way, and then streams the future result back to the past for type checking. Just make sure to not write temporally unsafe code least ye risk debugging paradoxes.