Overall Strategy: Use rule default Postfix [inside Selection] Prefix [inside selection] Apply at Selection Only Postfix, from Selection to Root Only

Haskell Equational Reasoning Assistant