intro-0.0.2.2: Total Prelude with Text and Monad transformers