Brushing up doc.
Brushing up doc.
Using "-- |" instead of "{-|".