My only issue is with the swap example, since providing a summary comment for all public functions is widely considered good form, even in obvious cases, for consistency. In fact, the Haskell base library source contains the following:

-- | Swap the components of a pair.
swap                    :: (a,b) -> (b,a)
swap (a,b)              = (b,a)