works fine with comonad-transformers-3.1