It will be version 2.0 that introduces simulation monad transformers.