Syntactic errors: 2
Costabs-CoFloCo-TermDepth/product.abs:13:14:mismatched input 'm' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    foldr((A m, List<A> ps) => foldr((B n, List<A> xs) => Cons(Pair(m,n), xs))(ps, ns))(Nil, ms);
-------------^
Costabs-CoFloCo-TermDepth/product.abs:13:29:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    foldr((A m, List<A> ps) => foldr((B n, List<A> xs) => Cons(Pair(m,n), xs))(ps, ns))(Nil, ms);
----------------------------^

Compilation failed with syntax errors.