5-7: type expression if-else