lift-local for error-t
just define lift-catch one place for the common case, likewise lift-local
Merge branch 'master' of github.com:bwo/monads