Update README / .cabal
Consistency of 80col hrules
Simplify a type signature