Trait Kind2

pub trait Kind2<A, B> {
    type Output;
}

Trait for brands of types of kind "* -> * -> *".

Required Associated Types

type Output

Implementors

impl<A, B> Kind2<A, B> for PairBrand

type Output = Pair<A, B>

impl<A, B> Kind2<A, B> for ResultBrand

type Output = Result<B, A>