Consistent infix product and coproduct.
keine iota mehr: alles lesbarer