And finally
Prev
Test Driven Development for clever people
Next
And finally
Make this one pass
property3 x y = f (x ++ y) == f y ++ f x