doc approach for compile-time literal subtype verification