Ask HN: Automatic Parallelization Haskell Core IR

I am interested in getting started with Haskell Core IR in order to implement this Automatic Parallelizer directly on its Core IR:

http://homepages.dcc.ufmg.br/~fernando/publications/papers/Rocha18_SCP.pdf

Is there a good introductory guide for working with algebraic simplification or rewriting rules on the Core IR?

Thanks