Add instance of the St monad