 else return type equals f 
