fixed monad transformers via stackoverflow. basic test examples appear to be working. a few more example files to go.