Trait Invariant
functor
pub trait Invariant<'a, B>: ReParam<B> { fn invmap<F: 'a + Iso<Self::Param, B>>(self, _: F) -> Self::Output; }
fn invmap<F: 'a + Iso<Self::Param, B>>(self, _: F) -> Self::Output