WithPatsNoWith.idr:4:1-13:
  |
4 | foo 1 | 2 | 3 = True
  | ~~~~~~~~~~~~~
When checking left hand side of foo:
unexpected patterns outside of "with" block