Restore the Applicative and Monad instances