@witty-crayon-22786 do you have a strong opinion on using Exactly vs just tuples for types for the type constraints?