expected

reg034.idr:6:5:When elaborating left hand side of bar:
Can't match on bar xs xs [91mRefl[0m
reg034.idr:9:5:When elaborating left hand side of foo:
Can't match on foo f x x [91mRefl[0m