... another silly path problem. I need a hero. I need a type-checker