remove unused type parameter
optimize OneOr instances