Derive Alternative for the type checking monad.

Fixes a GHC warning that will be an actual error in 7.10.