concrete functor and monad transformers (fork of ross's transformers)
there don't seem to be any issues for this project.