pub type Output = P256Point;
The coPRF range is the range of the underlying PRF, in our case the group of points on P-256.
enum Output { NonInf((P256FieldElement, P256FieldElement)), AtInfinity, }