work in progress to try to make a directly ExceptT + transformers 0.3 + transformers-compat approach work
more changes