Awesome

purescript-leibniz-proof

Proof that the coercion functions in purescript-leibniz can be implemented without any unsafeCoerce trickery.

• The implementation
• An example usage