A modern programming language that makes developers happier.

kotlinlang

Where can I read up on Coercion Projection and Liquid Types ?

At the moment in the arrow-meta compiler-plugin module tests

Also the arrow prelude is full of coercion proofs since unions are implemented in terms of it

There is also test for type refinements there

<https://github.com/arrow-kt/arrow-meta/tree/master/compiler-plugin/src/test/kotlin/arrow/meta/plugins>

once 1.4 is stable we will make an official release with docs

Unrelated to Arrow or other implementations there is a nice paper on Liquid types <http://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf|here>