Include type of default value of argument in function body