Derive Alternative for the type checking monad.

Fixes a GHC warning that will be an actual error in 7.10.
Merge pull request #437 from sebastiaanvisser/master

Derive Alternative for the type checking monad.