Use a generic Env construction