Type class recursive resolution