Added exploratory test for the error transformer monad