Build errors under GHC 7.8 fixed
The testsuite does not require an installed singletons.
Fix most broken tests
Resurect BadPlus
Fix BadPlus output.