namespace Microsoft.ML.Probabilistic.Distributions.Automata
{
    public abstract class ImmutablePairDistributionBase<TElement1, TElementDistribution1, TElement2, TElementDistribution2, TThis> : CanComputeProduct<TThis>, CanComputeProduct<TThis, TThis>, CanCreatePartialUniform<TThis>, CanCreatePointMass<(Option<TElement1>, Option<TElement2>), TThis>, CanCreateUniform<TThis>, CanGetLogAverageOf<TThis>, CanGetLogProb<(Option<TElement1>, Option<TElement2>)>, IImmutableDistribution, IImmutableDistribution<(Option<TElement1>, Option<TElement2>), TThis>, Summable<TThis, TThis>, SummableExactly<TThis>, SummableExactly<TThis, TThis>, Diffable, ICloneable
        where TElementDistribution1, new(), CanComputeProduct<TElementDistribution1>, CanCreatePartialUniform<TElementDistribution1>, CanGetLogAverageOf<TElementDistribution1>, IImmutableDistribution<TElement1, TElementDistribution1>
        where TElementDistribution2, new(), CanComputeProduct<TElementDistribution2>, CanCreatePartialUniform<TElementDistribution2>, CanGetLogAverageOf<TElementDistribution2>, IImmutableDistribution<TElement2, TElementDistribution2>
        where TThis, new(), ImmutablePairDistributionBase<TElement1, TElementDistribution1, TElement2, TElementDistribution2, TThis>
    {
        public static TThis FromFirstSecond(Option<TElementDistribution1> first, Option<TElementDistribution2> second);
    }
}