any support for multiple type checks? like:
# language-proposals
p
any support for multiple type checks? like: