trying out different combination of monad transformer