anything applicable to a type would also be applic...
# stdlib
y
anything applicable to a type would also be applicable to any of its subtypes