@beto
3. Protocols over products.