Yeah, Bayes, Monads, and Types: things that every programmer uses "intuitively" but for some reason end up being difficult to grasp when explicitly formalized.

Yeah, Bayes, Monads, and Types: things that every programmer uses "intuitively" but for some reason end up being difficult to grasp when explicitly formalized. At least speaking for myself. You're not alone. Hopefully it will get better for the both of us.