signature Infix where {
infixl 7 %%;
	   
infixl 6 $$;
	   
infixl 2 +#;
	   
infixr 7 %%%;
	    
infixr 6 $$$
}