Algebra in school is like a compiler with shitty type inference: you rarely have to write type annotations and you can easily end up with impossible states.