::= [':' ] ::= ['||' ] ::= ['&&' ] ::= [('==' | '<' | '>' | '<=' | '>=' | '!=') ] ::= (('+' | '-') )* ::= ('*' | '/' | '%'] )* ::= ['hd'|'tl'|'fst'|'snd] | | | | 'False' | 'True' | '(' ')' | '(' [] ')' | '[]' | '(' ',' ')' ::= [',' ActArgs] ::= ( | 'var') '=' ';' ::= 'Int' | 'Bool' | 'Char' | '(' Type ',' Type ')' | '[' Type ']' |