type inference

visit shbcf.ru