[Vosporos]

It leverages PureScript's CoreFn IR.

[rehemiau]

And purerl does not? It mentions it in its readme. And in practice, do you know what advantages it gives over the purerl's approach?