Can we target Plutus IR instead of Plutus Core?
https://iohk.io/en/blog/posts/2021/02/02/plutus-tx-compiling-haskell-into-plutus-core/
Currently Plutus Tx does not directly target Plutus Core.
Instead it goes into Plutus IR.
From Plutus IR, this gets further compiled into Plutus Core.
The IR takes care of the problems of handling datatypes and recursion.