Truly Optimal Evaluation with Unordered Superpositions - haskell | Upit