Solutions for StateT (most of 'em)