Singleton realization in simple type