https://learn-functional-programming.com/chapters/2.2-declarative-programming/