Got some nice stacking going on.
- Stacked EitherT, StateT and OptionT together on top of
   Identity; but still might not be in correct order, I suspect.