intro-0.0.2.1: Total Prelude with Text and Monad transformers