LazyEitherT test