[nurettin]

You can also emit the type as a compile error by assigning it to a list or something. A trick I often used when studying C++ back when it was cool.