Doc, tidy up .cabal
Add complicated coercion test