might be something like, does the type have a cons...

# announcements

[christopher]

might be something like, does the type have a constructor that could construct it from whatever value we’ve dereferenced