<@U0RM4EPC7> <@U70MWFK3P> <https://github.com/arro...

# arrow-contributors

[raulraja]

@simon.vergauwen @Miguel Coleto https://github.com/arrow-kt/kotlintest/blob/5ba8ba5659b602c0502cdb7a4f1931cfd8eee5ee/kotlintest-assertions-arrow/src/test/kotlin/io/kotlintest/assertions/arrow/GenInstancesTests.kt

[simon.vergauwen]

https://github.com/arrow-kt/kotlintest/blob/5ba8ba5659b602c0502cdb7a4f1931cfd8eee5ee/kotlintest-assertions-arrow/src/test/kotlin/io/kotlintest/assertions/arrow/GenInstancesTests.kt#L48

[simon.vergauwen]

Could be mapToPerson from @product, right?

[raulraja]

yes, but that function currently relies on being nested in an Applicative<F> context. It's not exported as the rest of the functions because it's not inside the Applicative type class.

[raulraja]

Made some progress with assertions and matchers to validate the output of polymorphic programs and avoid having the use to manually invoke unsafeRunSync to test values coming from IO and other effect capable data types.

[raulraja]

https://github.com/arrow-kt/kotlintest/commit/49b3aaf5a7c2eecdbc7383df48defed636bf63d2#diff-55933f41fcd79b4f7d81a6f3dbc6208cR84