add WriterT, plus base and transformer instances, which also necessitates adding ((,) w) instances and Semigroup and Monoid' classes; start partial parsing examples