let
single s = inject_singleton s