Relax types of  and