[IMP-dev] SingletonFunctor