https://worldofsoftware.org/what-functional-programmers-can-learn-from-sequent-calculus-hackernoon/