Formatted a surrounding syntactic construct on the same line with 'where'.
Formatted test code.

 - The lambda abstraction starts on the same line as the QuickCheck
   property.
 - The Arrange Act Assert phases are modeled with 'let' expressions.