pub fn int_interval<P, PErr, Q, QErr>(op: IntervalOp, l: P, r: Q) -> Typewhere
    P: TryInto<TyParam, Error = PErr>,
    PErr: Debug,
    Q: TryInto<TyParam, Error = QErr>,
    QErr: Debug,