Comment by subnaught

This seems to be heavily influenced by (if not outright plagiarized from) this[0], which, needless to say, does a much more thorough job of explaining things.

[0]: http://colah.github.io/posts/2015-09-NN-Types-FP/