[PublicAPI] public static HigherKind <Witness, B> map <Witness, A, B>( this HigherKind <Witness, A> hkt, Functor <Witness> F, Func <A, B> mapper ) => F.map(hkt, mapper);