Trait ReParam
functor::parametric
pub trait ReParam<B>: Param { type Output: Param<Param = B>; }
type Output: Param<Param = B>
impl<A, B> ReParam<B> for Option<A>
impl<X, A, B> ReParam<B> for (X, A)
impl<A, B> ReParam<B> for PhantomData<A>
impl<A, B> ReParam<B> for Box<A>
impl<A, B, E> ReParam<B> for Result<A, E>