adding some ideas to the standard library