Fix GHC 7.0 build errors, update `Tested-With', and update example