Typechecking with conditional parameters

join shbcf.ru