Syntactic errors: 4 Costabs-CoFloCo-TypedNorms/rev-fletf.abs:18:22:extraneous input 'op' expecting ')' def List fleft(op)(List e, List xs) = ---------------------^ Costabs-CoFloCo-TypedNorms/rev-fletf.abs:18:25:missing '=' at '(' def List fleft(op)(List e, List xs) = ------------------------^ Costabs-CoFloCo-TypedNorms/rev-fletf.abs:18:35:mismatched input ',' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='} def List fleft(op)(List e, List xs) = ----------------------------------^ Costabs-CoFloCo-TypedNorms/rev-fletf.abs:18:49:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='} def List fleft(op)(List e, List xs) = ------------------------------------------------^ Compilation failed with syntax errors.