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