There is no need to manually write TypeableN instances anymore!