Typing for std library