Comment by papln

In short, "algorithms are for things we are able to encode in the data structures". Or "Types first, Logic second, if at all."