Use "-- //" (2 spaces) rather than "-- //" (1) to avoid tripping haddock up