Updated tagline.
Fully qualify import.
Removed option monad.