intro-0.0.2.0: Total Prelude with Text and Monad transformers