Fix type errors in effect types prototype
WIP: exploring alternate effect types
Cleanup, plus add an alternate version of the types
WIP: experimenting with interfaces still.  Factor out common.
WIP: cleanup
WIP: more helpers, use them to cleanup a type
WIP: Add the 5th switch for IO
Suggestion from Richard Eisenberg makes the ghci-printed types better
Fix a haddock glitch.  Make asyncForEach ifdefd to get -f-generic work again.