https://jml.io/posts/category-theory-in-everyday-life/