Singleton types here, singleton types there, singleton types everywhere