a2とa3が分離されそうなことはわかるんだけども

folder_left f (f a a1) [a2 a3]
      ^^^^

こいつがどこ行くのっていうのと
どこをどうやったら()で括られることになるのかイメージできない