https://norangebit.me/it/posts/2021/functors-applicatives-and-monads-in-pictures/