[maweki]

The range can be a product type, as can the domain. Most languages are expressive enough that you can create the product type (struct). You're right on point.