You can use `&` operator to combine types. Works for adding fields, making branded types, etc.
which is not the same as "extends".
which is not the same as "extends".