relax types