Derive Alternative for the type checking monad.

Fixes a GHC warning that will be an actual error in 7.10.

(fixes the only warning when compiling the purescript compiler)