illicit 0.9.2

Type-indexed dynamically-scoped singletons.