Type a dating type b