A GHC plugin framework for optimizations using sequent calculus style AST