Regular-expressions extended with fixpoints for context-free powers
https://hackage.haskell.org/package/rere