Page "Giry monad" not found :(