Giry_monad loading ...