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?