Tag constructor given default argument...