--In this example, unfold the first 'sq' in 'sumSquares'
--This example aims to test unfolding a definition with guards.

sumSquares x y = (case (x, y) of
                      (m, n) -> m ^ n)
sumSquares x y = (case (x, y) of
                      (m, n) -> m ^ n)
sumSquares x y = (case (x, y) of
                      (m, n) -> m ^ n)