fixed types for matching alternatives