pub fn kernel_ty() -> Expr
Kernel : Type → Type → Type — a Markov kernel k(x, A).
Kernel : Type → Type → Type