Giry_monad