singleton: Implemented as a decorator