Merge pull request #1 from elliottt/master

Add Applicative and Alternative to MonadLib.Derive
Generalize the type of callCC to support jumps from differently typed contexts.
Change the implementation of `Label`.

Now labels correspond exactly to continuations, and the function
aspect of them has been factored out into actual Haskell functions.
Typo continuarions
Merge pull request #2 from nomeata/patch-1

Typo continuarions