I haven't really been following this discussion, but I use
Identity-backed monads all the time. Usually some combination of
StateT, WriterT, ErrorT and ReaderT.
Are there any "base" monads other than IO and Identity?