`Nothing` has no instances, by definition
# language-proposals
y
Nothing
has no instances, by definition