Karamel as an optimizer

[GunpowderGuy]

Hello, i was checking the f* project when i came across Karamel

It seems to perform many of the same optimizations as the GRIN optimizer : https://grin-compiler.github.io/

So i would like to ask whether Karamel could be used as a backend for functional languages such as idris2 or lean