Map the right B value into an B1 with the fn mapper, while keeping the left value untouched.
B
B1
fn
@override Tuple<A, B1> second<B1>(B1 Function(B p1) fn) => bimap(a: _identity, b: fn);