OtherKeys type