Draft talk:Giry monad