[ contrib ] Implementation of `Zippable` was added for `Validated`
[ contrib ] Implementation of `Zippable` was added for `Validated`

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