WithPatsNoWith.idr:4:5:When checking left hand side of foo: unexpected patterns outside of "with" block