perhaps this `Nothing` type can be made of use for...

# random

[amanda.hinchman-dominguez]

perhaps this Nothing type can be made of use for the metaprogramming proposal - during type validation, Nothing can be used to keep the check from crashing at run time