So then you are missing the case where it is an in...
# announcements
d
So then you are missing the case where it is an instance of
File
(first example), and thus the expression is not exhaustive.