Added a macro to materialize an inhabitant for the singleton type.