a monadic graph library