I don't know if this is progress.  Back to needing Typeable for the env, not clear WHY.