https://loominate.net/2013/10/09/math-from-scratch-in-haskell-zero-and-one/