[base] `bimap` functions were added for dependent pairs.
[base] `bimap` functions were added for dependent pairs.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm