infixr 8 .: