Fix type in example.
Update and clean up .cabal.